semctl$IPC_INFO(0x0, 0x1, 0x3, &(0x7f0000000040)=""/32)
semget$private(0x0, 0x6, 0x0)
r0 = semget$private(0x0, 0x6, 0x0)
semctl$IPC_RMID(r0, 0x0, 0x0)
semctl$SEM_STAT_ANY(r0, 0x4, 0x14, &(0x7f00000019c0)=""/231)