Symbol: WPI_INT