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