Symbol: I32_16