core::integer::i64_wide_mul

pub extern fn i64_wide_mul(lhs: i64, rhs: i64) -> i128 nopanic;