DIF_INSTR_SETX
dp->dtdo_buf[0] = DIF_INSTR_SETX(0, 1); /* setx DIF_INTEGER[0], %r1 */
dif_instr_t instr = DIF_INSTR_SETX((uint_t)intoff, reg);