sig
  val to_string : exn -> string
  val pass : ('-> 'b) -> '-> 'b
  val print : 'Extlib.InnerIO.output -> exn -> unit
  val catch : ('-> 'b) -> '-> 'b
end