{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"used_puncts[idx]"}]}
                used_puncts[idx] = true;
                    .unwrap_or_else(|| panic!("Grammar references unknown punctuation {name:?}"));
            }