{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let hash_frag = &full_hash[(idx as usize) * ptr_size..][..ptr_size];
            // Ensure the elem_hash matches the corresponding part of the full hash.
            if read_target_uint(self.data_layout().endian, hash_frag).unwrap() != elem_hash.into() {