LETTER          [A-Za-z]
DIGIT           [0-9]
LABELNAME       {LETTER}(_|{LETTER}|{DIGIT})*