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