Symbol: iv32