Symbol: mul_u32_u32_fx_q9