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