# https://syzkaller.appspot.com/bug?id=6374bd286532423c63f2b331748280729134224c
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":6,"slowdown":1,"sandbox":"","close_fds":false}
mknod(&(0x7f0000000000)='./file0\x00', 0x2876, 0x40000800)
r0 = open(&(0x7f0000000480)='./file0\x00', 0x80400000000206, 0x0)
fktrace(r0, 0x4, 0xf, 0x0)