{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
    // Escape the handful of characters that need it. We don't need to be particularly efficient:
    // we're actually writing into a buffered writer already. Note that MIR dumps are valid UTF-8.