# https://syzkaller.appspot.com/bug?id=295c1f1d1e7d8ee2254e62d5040fd113267d072d
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":4,"slowdown":1,"sandbox":"","sandbox_arg":0,"close_fds":false,"callcomments":true}
futex(&(0x7f0000000280)=0x1, 0x6, 0x2, &(0x7f0000000b00), 0x0, 0x2)