INT16_MIN         424 lib/stdint.in.h # define INT_LEAST16_MIN  INT16_MIN
INT16_MIN         690 lib/stdint.in.h #  define INT16_WIDTH _GL_INTEGER_WIDTH (INT16_MIN, INT16_MAX)