Engine.Legacy_s_memory
module type S = sig ... end
module Dummy : S with type init_data = unit
module Modernize (Old_memory : S) : sig ... end