Symbol: i16_to_d16_and_d32x4