POKE_U32
POKE_U32(buf, len);
POKE_U32(sshbuf_mutable_ptr(log_msg), len - 4);
POKE_U32(buf, mlen + 1);
POKE_U32(rbuf, af);
POKE_U32(buf, af == AF_INET6 ? OPENBSD_AF_INET6 : OPENBSD_AF_INET);
POKE_U32(buf, af);
POKE_U32(cp, len - 4);
POKE_U32(cp, len - 4);
POKE_U32(d2, 0x11223344);
POKE_U32(buf, mlen);
POKE_U32(p, val);
POKE_U32(p, val);
POKE_U32(d, len);
POKE_U32(d, len + prepend);
POKE_U32(sshbuf_mutable_ptr(m), len - 4);
POKE_U32(sshbuf_mutable_ptr(m), len - 4);
POKE_U32(iv, index);
POKE_U32(buf, sshbuf_len(enc));
POKE_U32(k->xmss_sk, state->idx);
POKE_U32(iv, state->idx);