r0 = shmget$private(0x0, 0xd000, 0x0, &(0x7f0000ff1000/0xd000)=nil) r1 = shmat(r0, &(0x7f0000ff6000/0x1000)=nil, 0x5000) shmat(r0, &(0x7f0000ff1000/0x2000)=nil, 0x4000) shmdt(r1)