fn i64_overflowing_mul(lhs: i64, rhs: i64) -> (i64, bool)