{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                    // (this accounts for names with dots in particular).
                    // Quote the name in case it's reserved by linker in some way
                    writeln!(f, "  \"{symbol}\"{kind_marker}")?;