__mark_reg32_unbounded
__mark_reg32_unbounded(dst_reg);
__mark_reg32_unbounded(dst_reg);
__mark_reg32_unbounded(dst_reg);
__mark_reg32_unbounded(reg);
__mark_reg32_unbounded(reg);
__mark_reg32_unbounded(reg);