typedef unsigned short                                                 char16_t;

/*
STDC(201112)
*/