40   packet.seqNum = 0xffff;  in TEST()
66   packet.seqNum = 10;  in TEST()
73   packet.seqNum = dec_state.sequence_num() - 1u;  in TEST()
77   packet.seqNum = dec_state.sequence_num() + 1u;  in TEST()
80   packet.seqNum++;  in TEST()
93   packet.seqNum = 1;  in TEST()
104   packet.seqNum = 2;  in TEST()
115   packet.seqNum = 4;  in TEST()
124   packet.seqNum = 5;  in TEST()
136   packet.seqNum = 6;  in TEST()
148   packet.seqNum = 7;  in TEST()
157   packet.seqNum = 8;  in TEST()
173   packet.seqNum = 1;  in TEST()
188   packet.seqNum = 2;  in TEST()
195   packet.seqNum = 3;  in TEST()
203   packet.seqNum = 4;  in TEST()
221   packet.seqNum = 0;  in TEST()
235   packet.seqNum = 1;  in TEST()
247   packet.seqNum = 3;  in TEST()
258   packet.seqNum = 4;  in TEST()
272   packet.seqNum = 5;  in TEST()
285   packet.seqNum = 6;  in TEST()
296   packet.seqNum = 8;  in TEST()
311   packet.seqNum = 9;  in TEST()
332   packet.seqNum = 0;  in TEST()
346   packet.seqNum = 1;  in TEST()
359   packet.seqNum = 3;  in TEST()
377   packet.seqNum = 0;  in TEST()
395   ++packet.seqNum;  in TEST()
411   packet.seqNum = 1;  in TEST()
432   packet.seqNum = 0;  in TEST()
446   ++packet.seqNum;  in TEST()
466   packet.seqNum = 0xffff;  in TEST()
510   packet.seqNum = 0xffff;  in TEST()
566   packet.seqNum = 0xffff;  in TEST()