+ fflush(stderr);
+}
+
+void wprint_token() {
+ if (tokenType == MOT || tokenType == MOTCLE) {
+ fwprintf(target, L"%20s: %ls\n", tokenTypestr[tokenType], token[tokenFound].value);
+ } else {
+ fwprintf(target, L"%20s\n", tokenTypestr[tokenType]);
+ }
+ fflush(target);