/** Converts an Ascii Character into Hexadecimal digit */
public static int hexOf(char x) {
int val;
val = x - '0';
if (val >= 0 && val <= 9) return val;
val = (x - 'a') + 10;
if (val >= 10 && val <= 15) return val;
val = (x - 'A') + 10;
if (val >= 10 && val <= 15) return val;
throw wrapper.badHexDigit();
}
