msgctl$MSG_INFO(0x0, 0xc, &(0x7f0000000140)=""/35)
msgget(0x2, 0x54c)
r0 = msgget(0x3, 0x0)
msgctl$IPC_SET(r0, 0x1, &(0x7f0000000200)={{0x0, 0x0, 0xffffffffffffffff, 0xee00}})
msgctl$IPC_INFO(r0, 0x3, &(0x7f0000000000))
msgctl$IPC_RMID(r0, 0x0)
msgctl$MSG_INFO(0xffffffffffffffff, 0xc, &(0x7f0000000000)=""/238)