{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let hash_fragment = self.read_scalar(&elem)?.to_target_usize(&tcx)?;
            // Decorate this part of the hash with provenance; leave the integer part unchanged.
            let ptr = Pointer::new(alloc_id.into(), Size::from_bytes(hash_fragment));