POKE_U64
POKE_U64(seqbuf + 8, seqnr);
POKE_U64(seqbuf + 8, seqnr);
POKE_U64(seqbuf, seqnr);
POKE_U64(seqbuf, seqnr);
POKE_U64(nonce, seqno);
POKE_U64(d2, 0x1122334455667788ULL);
POKE_U64(p, val);
POKE_U64(p, val);