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