DEFINITION MODULE Delay ; EXPORT QUALIFIED Delay ; (* milliSec - delays the program by approximately, milliSec, milliseconds. *) PROCEDURE Delay (milliSec: INTEGER) ; END Delay.