{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // Decorate this part of the hash with provenance; leave the integer part unchanged.
        while let Some((_, elem)) = elem_iter.next(self)? {
            let hash_fragment = self.read_scalar(&elem)?.to_target_usize(&tcx)?;