{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
            let mut target = format!("{ptr:?}");
            let ptr = Pointer::new(prov, offset);
            if target.len() > provenance_width(ptr_size.bytes_usize() - 1) {