92             let s1 = i * INTERVAL;  in test_serial_number_arithmetic32bit()  localVariable
93             let s2f = s1.checked_add(MAX_FORWARD_DISTANCE);  in test_serial_number_arithmetic32bit()
94             let s2b = s1.checked_add(MAX_BACKWARD_DISTANCE);  in test_serial_number_arithmetic32bit()
97                 assert!(sna32lt(s1, s2f), "s1 < s2 should be true: s1={s1} s2={s2f}");  in test_serial_number_arithmetic32bit()
99                     !sna32lt(s1, s2b),  in test_serial_number_arithmetic32bit()
104                     !sna32gt(s1, s2f),  in test_serial_number_arithmetic32bit()
107                 assert!(sna32gt(s1, s2b), "s1 > s2 should be true: s1={s1} s2={s2b}");  in test_serial_number_arithmetic32bit()
110                     sna32lte(s1, s2f),  in test_serial_number_arithmetic32bit()
114                     !sna32lte(s1, s2b),  in test_serial_number_arithmetic32bit()
119                     !sna32gte(s1, s2f),  in test_serial_number_arithmetic32bit()
123                     sna32gte(s1, s2b),  in test_serial_number_arithmetic32bit()
141             if let Some(s1add1) = s1.checked_add(1) {  in test_serial_number_arithmetic32bit()
143                     !sna32eq(s1, s1add1),  in test_serial_number_arithmetic32bit()
148             if let Some(s1sub1) = s1.checked_sub(1) {  in test_serial_number_arithmetic32bit()
150                     !sna32eq(s1, s1sub1),  in test_serial_number_arithmetic32bit()
155             assert!(sna32eq(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic32bit()
156             assert!(sna32lte(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic32bit()
158             assert!(sna32gte(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic32bit()
172             let s1 = i * INTERVAL;  in test_serial_number_arithmetic16bit()  localVariable
173             let s2f = s1.checked_add(MAX_FORWARD_DISTANCE);  in test_serial_number_arithmetic16bit()
174             let s2b = s1.checked_add(MAX_BACKWARD_DISTANCE);  in test_serial_number_arithmetic16bit()
177                 assert!(sna16lt(s1, s2f), "s1 < s2 should be true: s1={s1} s2={s2f}");  in test_serial_number_arithmetic16bit()
179                     !sna16lt(s1, s2b),  in test_serial_number_arithmetic16bit()
184                     !sna16gt(s1, s2f),  in test_serial_number_arithmetic16bit()
187                 assert!(sna16gt(s1, s2b), "s1 > s2 should be true: s1={s1} s2={s2b}");  in test_serial_number_arithmetic16bit()
190                     sna16lte(s1, s2f),  in test_serial_number_arithmetic16bit()
194                     !sna16lte(s1, s2b),  in test_serial_number_arithmetic16bit()
199                     !sna16gte(s1, s2f),  in test_serial_number_arithmetic16bit()
203                     sna16gte(s1, s2b),  in test_serial_number_arithmetic16bit()
221             assert!(sna16eq(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic16bit()
223             if let Some(s1add1) = s1.checked_add(1) {  in test_serial_number_arithmetic16bit()
225                     !sna16eq(s1, s1add1),  in test_serial_number_arithmetic16bit()
229             if let Some(s1sub1) = s1.checked_sub(1) {  in test_serial_number_arithmetic16bit()
231                     !sna16eq(s1, s1sub1),  in test_serial_number_arithmetic16bit()
236             assert!(sna16lte(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic16bit()
237             assert!(sna16gte(s1, s1), "s1 == s1 should be true: s1={s1} s2={s1}");  in test_serial_number_arithmetic16bit()