: static void init_mark_stack(void)

