functor (M : Memory.Model-> Mcfg.S