Symbol: PUNC_LEVEL