source: CIVL/examples/languageFeatures/enum2.cvl

#include <civlc.cvh>
int main(){
  int const x = 9;
  enum hue { A, B = 4, C, D = B};
  enum huf {H, I, J, K};
  enum hue a = A, b = B, c = C, d = D;
  enum hue h = (enum hue) J;
  int y = x + C;

  {
    enum hf { A=10 };
    int k = A;

    $assert(k == 10);
  }
  $assert(a == 0);
  $assert(b == 4);
  $assert(c == 5);
  $assert(d == 4);
  $assert(h == 2);
  $assert(y == 14);
}