x64, Win32

To return the time in the form "HH:MM:SS".

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

A value for SECS could be obtained, for example, via a prior call to FILEINFO@.
Alternatively, in order to display the current runtime, a prior call can be made to SECONDS_SINCE_1980@.
When running under x64, the current runtime is produced when SECS is set to zero.

Returns the time corresponding to SECS.

1) SECS is a 32 bit integer value and as a result this routine will fail for values after the equivalent of 19 January 2038.
2) When running under Win32, no adjustment is made for daylight saving.

DATE_AND_TIME