Symbol: I16_32