94             let s2b = s1.checked_add(MAX_BACKWARD_DISTANCE);  in test_serial_number_arithmetic32bit()  localVariable
96             if let (Some(s2f), Some(s2b)) = (s2f, s2b) {  in test_serial_number_arithmetic32bit()
99                     !sna32lt(s1, s2b),  in test_serial_number_arithmetic32bit()
107                 assert!(sna32gt(s1, s2b), "s1 > s2 should be true: s1={s1} s2={s2b}");  in test_serial_number_arithmetic32bit()
114                     !sna32lte(s1, s2b),  in test_serial_number_arithmetic32bit()
123                     sna32gte(s1, s2b),  in test_serial_number_arithmetic32bit()
128                     sna32eq(s2b, s2b),  in test_serial_number_arithmetic32bit()
132                     sna32lte(s2b, s2b),  in test_serial_number_arithmetic32bit()
136                     sna32gte(s2b, s2b),  in test_serial_number_arithmetic32bit()
174             let s2b = s1.checked_add(MAX_BACKWARD_DISTANCE);  in test_serial_number_arithmetic16bit()  localVariable
176             if let (Some(s2f), Some(s2b)) = (s2f, s2b) {  in test_serial_number_arithmetic16bit()
179                     !sna16lt(s1, s2b),  in test_serial_number_arithmetic16bit()
187                 assert!(sna16gt(s1, s2b), "s1 > s2 should be true: s1={s1} s2={s2b}");  in test_serial_number_arithmetic16bit()
194                     !sna16lte(s1, s2b),  in test_serial_number_arithmetic16bit()
203                     sna16gte(s1, s2b),  in test_serial_number_arithmetic16bit()
208                     sna16eq(s2b, s2b),  in test_serial_number_arithmetic16bit()
212                     sna16lte(s2b, s2b),  in test_serial_number_arithmetic16bit()
216                     sna16gte(s2b, s2b),  in test_serial_number_arithmetic16bit()