sig
  val go : unit -> unit
  val go_withargv : string array -> unit
  val demo : bool
  exception StayOnError
end