{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"suggestion.push(c);"}]}
                suggestion.push(c);
            for c in chars.take(6).take_while(|c| c.is_digit(16)) {
                suggestion_len += c.len_utf8();