# https://syzkaller.appspot.com/bug?id=3841373ff83fb19483bf6b4983cd40e522405279
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":1,"slowdown":1,"sandbox":"none","sandbox_arg":0,"close_fds":false,"tmpdir":true,"segv":true,"callcomments":true}
socket(0x10, 0x4, 0x15)