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