case

case 
      ::= case_label { case_label } element_spec ";" 

This rule is called by

-> switch_body