signature EXN_HANDLER = sig
  val handler: exn -> unit
end