public static string ConvertCharLiteral(char ch) { if (ch == '\'') { return "\\'"; } return ConvertChar(ch); }