Engine.SState
module type S = sig ... end
module Make (SMemory : SMemory.S) : S with type heap_t = SMemory.t and type m_err_t = SMemory.err_t and type init_data = SMemory.init_data