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