Symbol: BRST_LEN