pub open spec fn wrapping_sub_u8(a: int, b: int) -> int
{ if a - b < (<u8>::MIN as int) { a - b + ((<u8>::MAX as int) - (<u8>::MIN as int) + 1) } else { a - b } }