sig val handle : ?dont_exit:bool -> (unit -> unit) -> unit val set_error_channel : Pervasives.out_channel -> unit end