case_label

case_label 
      ::= "case" const_exp ":" | "default" ":" 

This rule is called by

-> case