typedef int                                                             wchar_t;

/** wide character type **/

/***
is an integer type used to represent wide characters. Using a THIS(),
every character in the current locale can be represented by a single variable.
The null character will always have the value LITERAL(0).
***/

/*
TYPEDEF(integer)
STDC(1)
*/