SYNTAX
#include <uint64.h>uint64 u;
void uint64_pack_big(char s[4],uint64 u);
DESCRIPTION
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_pack_big(3)
write an unsigned big-endian 64-bit integer