+C_ESCAPES = {
+ '"': r'\"',
+}
+
+def escape_character(ch):
+ return C_ESCAPES.get(ch, ch)
+
+def escape_string_literal(string_literal):
+ return ''.join(escape_character(ch) for ch in string_literal)
+
infix_declarations=program.operator_declarations,
statements=list(generate_statement(s) for s in program.statements),
standard_libraries=list(sorted(program.standard_libraries)),
infix_declarations=program.operator_declarations,
statements=list(generate_statement(s) for s in program.statements),
standard_libraries=list(sorted(program.standard_libraries)),