#include <uchar.h>

size_t c32rtomb(char * restrict s, char32_t c32, mbstate_t * restrict ps)
{
	return 0;
}

/*
STDC(201112)
*/