{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"*next_disamb"}]}
            *next_disamb = next_disamb.checked_add(1).expect("disambiguator overflow");
            let disambiguator = *next_disamb;
            disambiguator