Update eventdeque.pxd