Memory M Default memory X Store x X->M Y Store y Y->M MemMerge MemMerge MemMerge->M default MemMerge->X x MemMerge->Y y Return Return Return->MemMerge