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