sig val extract_all : (unit -> unit) Pervasives.ref val run_gui : (unit -> unit) Pervasives.ref val gui_present : bool Pervasives.ref end