Statements may be labeled as follows:
identifier: statement
The identifier is used as the target of a goto.
if (a < 10) goto check_point;
b = 10;
check_point:
d = 0;