SYNTAX #include <uint64.h> uint64 uint64_read_big(const char s[4]); DESCRIPTION uint64 is a 64-bit unsigned integer type. uint64_read_big portably reads a uint64 as stored on a big-endian architecture from s and returns it.