# 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":"","sandbox_arg":0,"close_fds":false}
_ksem_init(0x0, &(0x7f0000001040)=<r0=>0x0)
_ksem_destroy(r0)
_ksem_init(0xa9, &(0x7f0000001140)=<r1=>0x50535244)
_ksem_destroy(r0) (async)
_ksem_destroy(r1)