taglinefilesource code
seq392net/inet/tcp.hstatic inline int between(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq394net/inet/tcp.hreturn (after(seq1+1, seq2) && before(seq1, seq3+1));