x64, Win32

To get the date in text form.

CHARACTER (LEN=*) FUNCTION TOFDATE@(SECS)
INTEGER (KIND=3) SECS

TOFDATE@ returns the date in textual format based on time given in the form: "Friday January 29, 1993".
A value for SECS could be obtained, for example, via a prior call to FILEINFO@.
Alternatively, in order to display the date at the current runtime, a prior call can be made to SECONDS_SINCE_1980@.
When running under x64, the current date is produced when SECS is set to zero.

SECS is a 32 bit integer value. As a result this routine will fail for values that are after the equivalent of 19 January 2038.