be32enc
be32enc(p, (uint32_t)(u >> 32));
be32enc(p + 4, (uint32_t)(u & 0xffffffffU));
be32enc(p, u >> 32);
be32enc(p + 4, u & 0xffffffff);