r0 = msgget(0x1, 0x290)
msgctl$IPC_RMID(r0, 0x0)