# https://syzkaller.appspot.com/bug?id=239d096681a72975b8fe8776897960ba96576913
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":6,"slowdown":1,"sandbox":"none","sandbox_arg":0,"close_fds":false,"tmpdir":true,"segv":true}
mprotect(&(0x7f0000000000/0x2000)=nil, 0x2000, 0x1)
_ksem_init(0x80, &(0x7f0000000000)=0x50535244)