{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
        let range = self.range.subrange(range);
    pub fn write_scalar(&mut self, range: AllocRange, val: Scalar<Prov>) -> InterpResult<'tcx> {
        debug!("write_scalar at {:?}{range:?}: {val:?}", self.alloc_id);