{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"trace!(\"get_ptr_vtable({:?})\","}]}
        trace!("get_ptr_vtable({:?})", ptr);
    ) -> InterpResult<'tcx, Ty<'tcx>> {
        let (alloc_id, offset, _tag) = self.ptr_get_alloc_id(ptr, 0)?;