tag	line	file	source code
print_icmp	145	net/inet/icmp.c	print_icmp(icmph);
print_icmp	412	net/inet/icmp.c	print_icmp(icmph);