Symbol: mul_u64_u32_shr