use a portable type declaration for UINT64_MAX