r0 = shmget(0x1, 0x4000, 0x200, &(0x7f0000aa9000/0x4000)=nil)
shmat(r0, &(0x7f0000400000/0xc00000)=nil, 0x7000)
r1 = shmget(0x1, 0x3000, 0x0, &(0x7f0000ffa000/0x3000)=nil)
shmctl$IPC_RMID(r1, 0x0)