#include <wctype.h>
typedef int                                                           wctrans_t;

/*
STDC(199409)
*/