U64_FORMAT 28 src/util.h # define U64_FORMAT "%016I64X" U64_FORMAT 31 src/util.h # define U64_FORMAT "%016llX"