auditlog.adb:316:10: Flow Error  20 - Expression contains reference(s) to variable OK which has an undefined value.
auditlog.adb:316:10: Flow Error  22 - Value of expression is invariant.
auditlog.adb:360:7: Flow Error 504 - Statement contains reference(s) to variable FirstTime, which may have an undefined value.
auditlog.adb:360:7: Flow Error 504 - Statement contains reference(s) to variable LastTime, which may have an undefined value.
auditlog.adb:362:8: Flow Error 602 - The undefined initial value of OK may be used in the derivation of Description.
auditlog.adb:362:8: Flow Error 602 - The undefined initial value of FirstTime may be used in the derivation of Description.
auditlog.adb:362:8: Flow Error 602 - The undefined initial value of LastTime may be used in the derivation of Description.

    7 errors or warnings, comprising:
         7 flow errors
   14 summarized warnings
    7 expected (justified) warnings