Symbol: core_mark_region