pub open spec fn signed_crop(x: int) -> i8
{ if (x % (0x100 as int)) > (<i8>::MAX as int) { ((x % (0x100 as int)) - 0x100) as i8 } else { (x % (0x100 as int)) as i8 } }