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