DEFINITION MODULE TimeString ; EXPORT QUALIFIED GetTimeString ; (* GetTimeString - places the time in ascii format into array, a. *) PROCEDURE GetTimeString (VAR a: ARRAY OF CHAR) ; END TimeString.