source: CIVL/examples/languageFeatures/enum1.cvl

#include <civlc.cvh>

enum hue { chartreuse, burgundy, claret=20, winedark };

void main(){
  enum hue col, *cp;
  
  col = burgundy;
  
  cp = &col;
  $assert(*cp == 1);
  if (*cp != claret)
    *cp = claret;
  $assert(col == 20);
}