val options : unit -> (string * Arg.spec * string) list val option : string -> Arg.spec -> string -> unit val debug : int -> bool