goto_statement ::= GOTO label_name;