A label_statement consists of a label identifier followed by colon. The syntax definition is as follows:
identifier :
