A switch statement where:

• no break instructions referring to the switch
instruction
• there is a default case
• the statement list in each case, including the default, ends in a closing statement or a statement possibly labeled fallthrough

switch name {
case "Carlos": ...
case "Maria": ...
}