Symbol: mark_reg_not_init