Memory M0 Initial memory X Store p.x = 3 X->M0 Y Store p.y = arg Y->X L Load p.x L->Y Return Return Return->Y Return->L