POKE_U32
POKE_U32(d2, 0x11223344);
POKE_U32(buf, len);
POKE_U32(sshbuf_mutable_ptr(log_msg), len - 4);
POKE_U32(buf, mlen + 1);
POKE_U32(cp, len - 4);
POKE_U32(cp, len - 4);
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);