PTRDIFF_MAX       138 extra/stdint.h #define PTRDIFF_MAX INT64_MAX
PTRDIFF_MAX       141 extra/stdint.h #define PTRDIFF_MAX INT32_MAX