# https://syzkaller.appspot.com/bug?id=d596316890db35356047909e6afe80b16f316de5
# 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}
_ksem_init(0x0, &(0x7f0000001040)=<r0=>0x0)
_ksem_destroy(r0)
_ksem_init(0xa9, &(0x7f0000001140)=<r1=>0x50535244)
_ksem_destroy(r0)
_ksem_destroy(r1)