Known Bugs
----------

(a) variables of enumerator type cannot be initialized at the time
    of their declaration:
    the SpecC compiler issues a (false) error message in this case;
    as a simple work-around, enumerator variables can be initialized
    by use of standard assignment statements at the beginning of
    their lifetimes;

Rainer Doemer, September 2006.