runtime system the [...] the runtime system [...] RecvAvg LTIME Average time

EXTENDS __System [...] Begin UtilityGetCurrentDateAndTime [...] ) Utilities UtilityGetCurrentDateAndTime

Header creationDateTime date 20 [...] Information Released bool True LastModificationDateTime [...] H Company System Compiled

Header creationDateTime date 17 [...] Information Released bool True LastModificationDateTime [...] H Company System

¶ Company System Title [...] FormatDateTime are [...] . Contents: ¶ FormatDateTime

Header creationDateTime date 13 [...] Information Released bool True LastModificationDateTime [...] System Compiled

Header creationDateTime date 13 [...] True LastModificationDateTime [...] System Compiled

Header creationDateTime date 16 [...] Information Released bool True LastModificationDateTime [...] H Company System Compiled

Type DirectReading Event [...] MessageTextsConfig EventState EventTime [...] Flags TimeDelay Time

Company: System [...] SystemLibrary: False [...] Errors2 Interfaces, * (System) Cmp