public static int hexCharacterValue(char c) {
    { int v = Native.string_position("0123456789ABCDEF", c, 0);

      if (v == Stella.NULL_INTEGER) {
        v = Native.string_position("0123456789abcdef", c, 0);
      }
      return (v);
    }
  }