/* Convert ch from a hex digit to an int  */
static int hex(unsigned char ch)
/* Convert ch from a hex digit to an int  */
static int hex(unsigned char ch)
{
	if (ch >= 'a' && ch <= 'f')
		return ch-'a'+10;
	if (ch >= '0' && ch <= '9')
		return ch-'0';
	if (ch >= 'A' && ch <= 'F')
		return ch-'A'+10;
	return -1;
}