<div dir="ltr">This patch makes the StoreManager own the MemRegionManager.<br></div>