Symbol: __mark_reg_unbounded