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