(*======================================================================*)
(*                         Debug support Module                         *)
(*======================================================================*)
(*      Version: 1.00           Author : Dennis Brueni                  *)
(*      Date   : 25-Mar-91      Changes: Original                       *)
(*      Date   : 07-21-91       Changes: Added TermProc                 *)
(*======================================================================*)
(* This debug module does little else than catching exceptions and      *)
(* putting up a requester, and calling a user-given termination proc.   *)
(*======================================================================*)

DEFINITION MODULE DBug;

VAR TermProc: PROC;

END DBug.
