r0 = semget(0x1, 0x0, 0x0)
semctl$SEM_STAT_ANY(r0, 0x0, 0x14, &(0x7f00000022c0)=""/208)
semctl$IPC_RMID(r0, 0x0, 0x0)
r1 = semget(0x1, 0x3, 0x6c6)
semctl$IPC_STAT(r1, 0x0, 0x2, &(0x7f0000002700)=""/219)