# https://syzkaller.appspot.com/bug?id=e8dbdac86df9b28f6b9f1277f3b2e9f17005b242
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":6,"slowdown":1,"sandbox":"","sandbox_arg":0,"close_fds":false}
r0 = socket$inet(0x2, 0x1, 0x0)
shutdown(r0, 0x2)
setsockopt$sock_int(r0, 0xffff, 0x800, &(0x7f0000000000), 0x4)