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