{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
    // In terminals without Unicode support the following will be garbled, but in *all* terminals
const OUTPUT_REPLACEMENTS: &[(char, &str)] = &[
    // the underlying codepoint will be as well. We could gate this replacement behind a "unicode