sig   val register : string -> '-> unit   val register_exception : string -> exn -> unit end