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