Use print_char('x') instead of print_string("x").
[cparser] / win32 /
drwxr-xr-x   ..
-rw-r--r-- 845 config.h.cygwin
-rw-r--r-- 958 config.h.win32
-rw-r--r-- 3227 cygwin_math_ext.h
-rw-r--r-- 340 stdbool.h