/* Print a buffer in hexadecimal format with a ".\n" at end.  */
static void sym_printl_hex(u_char *p, int n)
/* Print a buffer in hexadecimal format with a ".\n" at end.  */
static void sym_printl_hex(u_char *p, int n)
{
	while (n-- > 0)
		printf (" %x", *p++);
	printf (".\n");
}