41 	SWPRINTF_TEST("1111111111111111111111111111111", "%b", INT_MAX);  in ATF_TC_BODY()
48 	SWPRINTF_TEST("0b1111111111111111111111111111111", "%#b", INT_MAX);  in ATF_TC_BODY()
60 	SWPRINTF_TEST("1111111111111111111111111111111", "%B", INT_MAX);  in ATF_TC_BODY()
67 	SWPRINTF_TEST("0B1111111111111111111111111111111", "%#B", INT_MAX);  in ATF_TC_BODY()
79 	SWPRINTF_TEST("2147483647", "%d", INT_MAX);  in ATF_TC_BODY()
80 	SWPRINTF_TEST("  2147483647", "%12d", INT_MAX);  in ATF_TC_BODY()
81 	SWPRINTF_TEST("002147483647", "%012d", INT_MAX);  in ATF_TC_BODY()
82 	SWPRINTF_TEST("2,147,483,647", "%'d", INT_MAX);  in ATF_TC_BODY()
94 	SWPRINTF_TEST("7fffffff", "%x", INT_MAX);  in ATF_TC_BODY()
95 	SWPRINTF_TEST("    7fffffff", "%12x", INT_MAX);  in ATF_TC_BODY()
96 	SWPRINTF_TEST("00007fffffff", "%012x", INT_MAX);  in ATF_TC_BODY()
103 	SWPRINTF_TEST("0x7fffffff", "%#x", INT_MAX);  in ATF_TC_BODY()
104 	SWPRINTF_TEST("  0x7fffffff", "%#12x", INT_MAX);  in ATF_TC_BODY()
105 	SWPRINTF_TEST("0x007fffffff", "%#012x", INT_MAX);  in ATF_TC_BODY()
117 	SWPRINTF_TEST("7FFFFFFF", "%X", INT_MAX);  in ATF_TC_BODY()
118 	SWPRINTF_TEST("    7FFFFFFF", "%12X", INT_MAX);  in ATF_TC_BODY()
119 	SWPRINTF_TEST("00007FFFFFFF", "%012X", INT_MAX);  in ATF_TC_BODY()
126 	SWPRINTF_TEST("0X7FFFFFFF", "%#X", INT_MAX);  in ATF_TC_BODY()
127 	SWPRINTF_TEST("  0X7FFFFFFF", "%#12X", INT_MAX);  in ATF_TC_BODY()
128 	SWPRINTF_TEST("0X007FFFFFFF", "%#012X", INT_MAX);  in ATF_TC_BODY()
148 	SWPRINTF_TEST("2147483647", "%w32d", (int32_t)INT_MAX);  in ATF_TC_BODY()
168 	SWPRINTF_TEST("2147483647", "%wf8d", (int_fast8_t)INT_MAX);  in ATF_TC_BODY()
174 	SWPRINTF_TEST("2147483647", "%wf16d", (int_fast16_t)INT_MAX);  in ATF_TC_BODY()
180 	SWPRINTF_TEST("2147483647", "%wf32d", (int_fast32_t)INT_MAX);  in ATF_TC_BODY()