DEFINITION Supervisor; (* SJ *)


PROCEDURE On*;

(* switches into supervisor mode if not already done *)


PROCEDURE Off*;

(* returns to the mode that was active before the last call of On *)


END Supervisor.