# 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":"","close_fds":false}
_ksem_init(0x0, &(0x7f0000000140)=<r0=>0x0)
_ksem_destroy(r0)
_ksem_init(0x0, &(0x7f0000000400)=<r1=>0x50535244)
_ksem_destroy(r0)
_ksem_destroy(r1)