r0 = epoll_create(0x1)
r1 = epoll_create(0x1)
r2 = socket$inet_tcp(0x2, 0x1, 0x0)
epoll_ctl$EPOLL_CTL_ADD(r1, 0x1, r2, &(0x7f00000000c0))
epoll_ctl$EPOLL_CTL_DEL(r1, 0x2, r0)