Symbol: PRINT_COUNT_WIDTH