Use UINT64_MAX instead of ULONG_LONG_MAX, suggested by Andreas Schwab.