: static void gc_mark_rest(void)

