DEFINITION MODULE Break ; EXPORT QUALIFIED EnableBreak, DisableBreak, InstallBreak, UnInstallBreak ; (* EnableBreak - enable the current break handler. *) PROCEDURE EnableBreak ; (* DisableBreak - disable the current break handler (and all installed handlers). *) PROCEDURE DisableBreak ; (* InstallBreak - installs a procedure, p, to be invoked when a ctrl-c is caught. Any number of these procedures may be stacked. Only the top procedure is run when ctrl-c is caught. *) PROCEDURE InstallBreak (p: PROC) ; (* UnInstallBreak - pops the break handler stack. *) PROCEDURE UnInstallBreak ; END Break.