sig
  val to_string : exn -> string
  val print : ('-> 'b) -> '-> 'b
  val catch : ('-> 'b) -> '-> 'b
end