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