Symbol: mark_init