module M {

  @ An enum with a default value
  enum Default {
    X @< Member X
    Y
  } default Y

}