{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        format!(".{}-{}-{:03}", dialect_index, phase_index, body.pass_count)
        ".-------".to_string()