Symbol: WPI_DEBUG_SCAN