label_declaration ::= 
 << label_name >>