sig
  module VC : functor (M : Memory.Model-> Mcfg.S
  module Computer :
    functor (M : Memory.Model->
      sig val create : Model.t -> Generator.computer end
end