{"ast_node_type":"other","tokens":[{"end":107,"kind":"keyword","start":0,"text":"//"}]}
    // hack until we get hygiene working (same character amount to preserve formatting as much as possible)
    const DOLLAR_CRATE_REPLACE: &str = "__r_a_";