be32enc
be32enc(p, uuid->time_low);
be32enc((cp), (s)); \
be32enc(buf, ts);
be32enc(p, uuid->time_low);
be32enc(p, u >> 32);
be32enc(p + 4, u & 0xffffffff);
be32enc(packet, counter);