pub open spec fn wrapping_add_unsigned(x: i8, y: u8) -> i8
{ if x + y > <i8>::MAX { (x + y - 0x100) as i8 } else { (x + y) as i8 } }