tag	line	file	source code
found_fin_ok	2079	net/inet/tcp.c	goto found_fin_ok;
found_fin_ok	2210	net/inet/tcp.c	goto found_fin_ok;
found_fin_ok	2216	net/inet/tcp.c	found_fin_ok: