{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
            // Debruijn index, which identifies the binder, as region disambiguator
            s.push_str("u6regionI");
            let num = debruijn.index() as u64;