Memory M Initial memory X Store x = 42 X->M Y Loop: Store y Y->M L Load x -> 42 L->X MemMerge MemMerge MemMerge->X MemMerge->Y Return Return Return->L Return->MemMerge