DEFINITION MODULE TimeString; (* gm2-compatible: place the current time in ASCII form into a. *) PROCEDURE GetTimeString (VAR a : ARRAY OF CHAR); END TimeString.