Labels are used to transfer program control directly to the specified statement.
identifier : statement case constant-expression : statement default : statement
The scope of a label is the entire function in which it is declared.
There are three types of labeled statements. All use a colon to separate some type of label from the statement. The case and default labels are specific to case statements. See Using Labels with the goto Statement and Using Labels in the case Statement.