r0 = shmget(0x1, 0x4000, 0x0, &(0x7f0000ffc000/0x4000)=nil)
shmctl$IPC_RMID(r0, 0x0)
shmget(0x1, 0x4000, 0xf97d709ca5b5f77e, &(0x7f0000ffc000/0x4000)=nil)