@ An enum with specified default values
enum Default {
  A,
  B,
  C,
  D,
  E,
} default C