DEFINITION MODULE Programs; (*JG 22.5.85*)
PROCEDURE CurrentLevel (): CARDINAL;
PROCEDURE TermProcedure(p: PROC; done: BOOLEAN);
END Programs.