Write an unsigned big-endian 64-bit integer
#include <uint64.h>
uint64 u;
void uint64_pack_big(char s[4],uint64 u);
uint64 is a 64-bit unsigned integer type.
uint64_pack_big portably writes a uint64 u to s in big-endian (i.e. network) byte order.
uint64_unpack_big(3), uint64_pack(3)