core::internal::bounded_int::bounded_int_mul

extern fn bounded_int_mul(lhs: Lhs, rhs: Rhs) -> Result nopanic;