enum E { RED, GREEN };
//       ^ @constant
//            ^ @constant
int f(void) { return RED; }
//                   ^ @constant