TEST_char_le
if (!TEST_char_le('0', *hdr) || !TEST_char_le(*hdr++, '1'))
&& TEST_char_le('b', --c)
|| !TEST(1, TEST_char_le('i', 'x'))
|| !TEST(1, TEST_char_le('n', 'n'))
|| !TEST(0, TEST_char_le('x', 'i'))