It must contain the default section.

The break statement, at the end of each case block, is mandatory.

Its case label literals can be changed at runtime.

Its expression must evaluate to a single value.