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