23     static_assert(sizeof(int8_t)*CHAR_BIT == 8,  in main()
28     static_assert(sizeof(int16_t)*CHAR_BIT == 16,  in main()
33     static_assert(sizeof(int32_t)*CHAR_BIT == 32,  in main()
38     static_assert(sizeof(int64_t)*CHAR_BIT == 64,  in main()
44     static_assert(sizeof(uint8_t)*CHAR_BIT == 8,  in main()
49     static_assert(sizeof(uint16_t)*CHAR_BIT == 16,  in main()
54     static_assert(sizeof(uint32_t)*CHAR_BIT == 32,  in main()
59     static_assert(sizeof(uint64_t)*CHAR_BIT == 64,  in main()
65     static_assert(sizeof(int_least8_t)*CHAR_BIT >= 8,  in main()
70     static_assert(sizeof(int_least16_t)*CHAR_BIT >= 16,  in main()
75     static_assert(sizeof(int_least32_t)*CHAR_BIT >= 32,  in main()
80     static_assert(sizeof(int_least64_t)*CHAR_BIT >= 64,  in main()
86     static_assert(sizeof(uint_least8_t)*CHAR_BIT >= 8,  in main()
91     static_assert(sizeof(uint_least16_t)*CHAR_BIT >= 16,  in main()
96     static_assert(sizeof(uint_least32_t)*CHAR_BIT >= 32,  in main()
101     static_assert(sizeof(uint_least64_t)*CHAR_BIT >= 64,  in main()
107     static_assert(sizeof(int_fast8_t)*CHAR_BIT >= 8,  in main()
112     static_assert(sizeof(int_fast16_t)*CHAR_BIT >= 16,  in main()
117     static_assert(sizeof(int_fast32_t)*CHAR_BIT >= 32,  in main()
122     static_assert(sizeof(int_fast64_t)*CHAR_BIT >= 64,  in main()
128     static_assert(sizeof(uint_fast8_t)*CHAR_BIT >= 8,  in main()
133     static_assert(sizeof(uint_fast16_t)*CHAR_BIT >= 16,  in main()
138     static_assert(sizeof(uint_fast32_t)*CHAR_BIT >= 32,  in main()
143     static_assert(sizeof(uint_fast64_t)*CHAR_BIT >= 64,  in main()