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