core::integer::u64_wide_mul

pub extern fn u64_wide_mul(lhs: u64, rhs: u64) -> u128 nopanic;