tag	line	file	source code
seq3	112	net/inet/tcp.h	between(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq3	114	net/inet/tcp.h	return(after(seq1+1, seq2) && before(seq1, seq3+1));