+
+void wprint_ctoken(FILE* out_file) {
+ if (tokenType == MOT || tokenType == MOTCLE) {
+ fwprintf(out_file, L"%20s: %ls\n", tokenTypestr[tokenType], tokenValue);
+ } else {
+ fwprintf(out_file, L"%20s\n", tokenTypestr[tokenType]);
+ }
+ fflush(out_file);
+}