char32_t
size_t mbrtoc32(char32_t *__restrict, const char *__restrict, size_t,
size_t c32rtomb(char *__restrict, char32_t, mbstate_t *__restrict);
size_t mbrtoc32_l(char32_t *__restrict, const char *__restrict, size_t,
size_t c32rtomb_l(char *__restrict, char32_t, mbstate_t *__restrict,
char32_t c32;
c32rtomb(char *restrict s, char32_t c32, mbstate_t *restrict ps)
c32rtomb_l(char *restrict s, char32_t c32, mbstate_t *restrict ps,
utf8_decode_step(utf8_state_t state, char8_t c8, char32_t *pc32)
char32_t c32;
char32_t state_c32; /* 8-bit state and 24-bit buffer */
char32_t c32;
mbrtoc32_l(char32_t *restrict pc32, const char *restrict s, size_t n,
char32_t c32;
mbrtoc32(char32_t *restrict pc32, const char *restrict s, size_t n,
char32_t c32;
char32_t c32;
typedef char32_t nbtest_char32_t;
static size_t (*nbtest_mbrtoc32)(char32_t *restrict, const char *restrict,
static size_t (*nbtest_c32rtomb)(char *restrict, char32_t,
ATF_CHECK_EQ_MSG(sizeof(char32_t), sizeof(uint_least32_t),
sizeof(char32_t), sizeof(uint_least32_t));
ATest<char32_t>();