{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"crate_name,"}]}
            crate_name,
            "{}[{:04x}]{}",
            // Don't print the whole stable crate id. That's just