Per adilger:
- the preferred Lustre coding style is to not use assignments inside
conditionals
- Lustre coding style recommends against using negation on non-boolean
values
- while fixing this code, we may as well print the flag in octal, which
is how it is normally defined.