case expr0 of {
   expr1 : expr2
   expr3 : expr4
   default: expr5
   }