NPT_UINT64_MAX    193 extra_lib/include/platinum/NptConfig.h #define NPT_UINT64_MAX _UI64_MAX
NPT_UINT64_MAX    143 extra_lib/include/platinum/NptTypes.h #define NPT_UINT64_MAX ULLONG_MAX
NPT_UINT64_MAX    145 extra_lib/include/platinum/NptTypes.h #define NPT_UINT64_MAX 0xFFFFFFFFFFFFFFFFULL