# https://syzkaller.appspot.com/bug?id=7d1e98655474257de20f1a03c56acde900ba52be
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"slowdown":1,"sandbox":"","sandbox_arg":0,"close_fds":false}
r0 = syz_open_dev$ttys(0xc, 0x2, 0x0)
write$binfmt_aout(r0, &(0x7f0000000000), 0x20) (fail_nth: 2)