1#include <uchar.h>
2#include <wchar.h>
3
4size_t c32rtomb(char* restrict s, char32_t c32, mbstate_t* restrict ps) {
5    return wcrtomb(s, c32, ps);
6}
7