Label definition

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