tag	line	file	source code
found_fin_ok	2082	net/inet/tcp.c	goto found_fin_ok;
found_fin_ok	2213	net/inet/tcp.c	goto found_fin_ok;
found_fin_ok	2219	net/inet/tcp.c	found_fin_ok: