label definition
An identifier that
name
s a statement. Identifiers start with a letter. Following chars may be a letter, an underscore or a digit.