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


##</code><code>##

REGNAME        [pP] 
REG_NUM        [0-9]+