#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    let (a1, a0): (u8, u8) = (3, u8::MAX);
    let (b1, b0): (u8, u8) = (5, 7);
    let carry0 = false;
    let (sum0, carry1) = a0.carrying_add(b0, carry0);
    assert_eq!(carry1, true);
    let (sum1, carry2) = a1.carrying_add(b1, carry1);
    assert_eq!(carry2, false);
    assert_eq!((sum1, sum0), (9, 6));
}