Symbol: TP_COUNT