semop(0x0, &(0x7f00000000c0)=[{0x0, 0x400}, {}], 0x2)
semctl$IPC_RMID(0x0, 0x0, 0xf)