__mark_reg_unbounded
__mark_reg_unbounded(dst_reg);
__mark_reg_unbounded(reg1);
__mark_reg_unbounded(reg);