Use print_char('x') instead of print_string("x").
[cparser] / mangle.h
2009-04-07 Michael Beck- 2009 patch
2008-11-14 Matthias BraunMore work for C++ mode: