static const char *__wctype[] = {
	0,   /* 0 is an invalid wctype_t */
	"alnum",
	"alpha",
	"blank",
	"cntrl",
	"digit",
	"graph",
	"lower",
	"print",
	"punct",
	"space",
	"upper",
	"xdigit",
};