sig
  val load_and_merge_function_state : Cvalue.Model.t -> Cvalue.Model.t
  val save_globals_state : unit -> unit
end