  GC_INNER void GC_dirty_init(void)
  {
    GC_VERBOSE_LOG_PRINTF("Initializing DEFAULT_VDB...\n");
    GC_dirty_maintained = TRUE;
  }
  GC_INNER void GC_dirty_init(void)
  {
    GC_VERBOSE_LOG_PRINTF("Initializing DEFAULT_VDB...\n");
    GC_dirty_maintained = TRUE;
  }