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

  - enumerator types cannot be initialized at the time of 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 execution;


Rainer Doemer, May 31, 2001.
