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