{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":".map(|idx|"}]}
        .map(|idx| DIGITS[idx])
        .map(|c| c.to_digit(10).unwrap() as usize)
        .collect::<String>()