core::integer::u32_wide_mul

pub extern fn u32_wide_mul(lhs: u32, rhs: u32) -> u64 nopanic;