{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
        if let Ok((alloc_id, ..)) = self.ptr_try_get_alloc_id(src, size.bytes().try_into().unwrap())
            M::before_alloc_access(tcx, &self.machine, alloc_id)?;