7.2.6 switch (...){...}