# https://syzkaller.appspot.com/bug?id=ede23e32118428a88c707f22efef0b99bd8cd128
# 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)