pub open spec fn wrapping_add_unsigned(x: i16, y: u16) -> i16
{ if x + y > <i16>::MAX { (x + y - 0x1_0000) as i16 } else { (x + y) as i16 } }