{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"if"}]}
            if let Ok((alloc_id, ..)) = self.ptr_try_get_alloc_id(ptr, size_i64) {
        if !self.memory.validation_in_progress.get() {
                M::before_alloc_access(self.tcx, &self.machine, alloc_id)?;