`exitCode != OK` is either a compilation error or ...
# announcements
u
exitCode != OK
is either a compilation error or an exception from the compiler