{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"format!(\"BB{}_{}\","}]}
        format!("BB{}_{}", location.block.index(), location.statement_index)
        // transform it into `BB5_2`.
    };