5.4.1.1 Statement Labels

 statement-label-definition = LINE-START ((identifier-statement-label “:”) / (line-number-label [“:”] )) 
 statement-label = identifier-statement-label / line-number-label 
 statement-label-list = statement-label [“,” statement-label] 
 identifier-statement-label = IDENTIFIER 
 line-number-label = INTEGER 

Static Semantics.

§ The name value of the <IDENTIFIER> in <identifier-statement-label> might not be "Randomize".

§ If <statement-label> is an <INTEGER>, it data value MUST be in the inclusive range 0 to 2,147,483,647.

§ The label value of a <statement-label-definition> is the label value of its constituent <identifier-statement-label> or its constituent <line-number-label>.

§ The label value of a <statement-label> is the label value of its constituent <identifier-statement-label> or its constituent <line-number-label>.

§ The label value of an <identifier-statement-label> is the name value of its constituent <IDENTIFIER> element.

§ The label value of a <line-number-label> is the data value of its constituent <INTEGER> element.

§ It is an error for a procedure declaration to contain more than one <statement-label-definition> with the same label value.

 

Runtime Semantics.

§ Executing a <statement-label-definition> has no observable effect.