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