#include <wctype.h>
typedef int                                                            wctype_t;

/*
STDC(199409)
*/