tag	line	file	source code
seq3	100	net/inet/tcp.h	extern __inline int between(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq3	102	net/inet/tcp.h	return (after(seq1+1, seq2) && before(seq1, seq3+1));