s3: UINT64_MAX is disabled by g++