# https://syzkaller.appspot.com/bug?id=9429b3a9d6388da4f8547bfe4715129c29315deb
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":1,"sandbox":"","fault_call":-1}
r0 = semget(0x2, 0x6, 0x620)
semop(r0, &(0x7f0000000000)=[{0x3, 0x2, 0x800}, {}, {0x3, 0x1, 0x1000}, {0x3, 0x40, 0x800}, {0x3, 0x703, 0x800}, {0x3, 0xffffffff, 0x1800}, {0x5, 0x4a9, 0x1800}, {0x4, 0x1, 0x1000}], 0x8)