label_declaration ::= 
 << label_name >>

goto_statement ::=
 GOTO label_name;