assign_register
return assign_register(op->addr.reg, op->val, op->bytes);
assign_register(reg_rmw(ctxt, reg), val, ctxt->op_bytes);
assign_register(preg, *preg + inc, ctxt->ad_bytes);