{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"//"}]}
            // and that is an infectious change.
            // But knowing where it is will require adding a parameter to `display()`,
            return f.write_str(symbol);