{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let range = AllocRange { start: offset, size: Size::from_bytes(n) };
            // cast is ok because we already checked for pointer size (32 or 64 bit) above
            let byte_str = alloc.inner().get_bytes_strip_provenance(&tcx, range).unwrap();