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