sig
  val opt_channel_in : Pervasives.in_channel Pervasives.ref
  val opt_filename_in : string Pervasives.ref
  val setup_opt_initial_procs : string -> unit
  val setup_opt_channel_in : string -> unit
  val common_cmdopts : (Arg.key * Arg.spec * Arg.doc) list
  val input_cmdopts : (Arg.key * Arg.spec * Arg.doc) list
  val simple_input : unit -> (Ph_types.ph * Ph_types.ctx) * string list
  val proclist_from_stringlist : string list -> Ph_types.process list
end