#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(bigint_helper_methods)]
fn main() {
    assert_eq!(
        789_u16.carrying_mul(456, 123).0, 789_u16.wrapping_mul(456).wrapping_add(123),
    );
}