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