{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"state"}]}
                    state = Prec;
                    let end = at_next_cp_while(next, char::is_ascii_digit);
                    width = at.slice_between(end).and_then(|num| Num::from_str(num, None));