#include <wchar.h>
typedef int                                                           mbstate_t;

/*
STDC(199409)
*/