r0 = semget$private(0x0, 0x6, 0x0) semtimedop(r0, &(0x7f0000000100)=[{0x0, 0x0, 0x1000}], 0x1, 0x0) r1 = semget$private(0x0, 0x4, 0x0) semop(r1, &(0x7f00000001c0)=[{0x0, 0x0, 0x1000}], 0x1) r2 = semget$private(0x0, 0x6, 0x0) semop(r2, &(0x7f00000000c0)=[{0x0, 0x0, 0x1800}], 0x1)