label definition

An identifier that names a statement. Identifiers start with a letter. Following characters can be a letter, an underscore, or a digit.