def escape(text: str) -> str: return text.replace('"', '\\"')