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