label_declaration ::= << label_name >>