switch (expression)
{
case constant-expression:
statement
jump-statement
[default:
statement
jump-statement]
}
jump-statement is either break, or goto case-label, where default is also an acceptable label. Eg 'goto case "x"'.
Fall-through from case to case is not allowed, except when you precede a case with any number of empty cases.
