Read an unsigned big-endian 64-bit integer
#include <uint64.h>
uint64 uint64_read_big(const char s[4]);
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.
uint64_unpack(3), uint64_unpack_big(3)