{"ast_node_type":"variable","tokens":[{"end":94,"kind":"keyword","start":0,"text":"let"}]}
        let vtable_ptr = self.global_root_pointer(Pointer::from(vtable_symbolic_allocation))?;
        let vtable_symbolic_allocation = self.tcx.reserve_and_set_vtable_alloc(ty, dyn_ty, salt);
        interp_ok(vtable_ptr.into())