SPC Version 0.9.5
The default label in a switch statement is not a statement in itself.
It is a label that precedes a list of statements. There can be only one default label within a switch statement. The default label has the syntax shown below.
The switch statement page contains an example of how to use the default label.