r0 = timerfd_create(0x0, 0x0)
timerfd_settime(r0, 0x3, &(0x7f00000000c0), 0x0)
r1 = socket$inet6_udp(0xa, 0x2, 0x0)
dup3(r1, r0, 0x0)