return (char) (ch + lower[readChar(ch) >> 7]);
return (char) (lower[0][readCodePoint((int)ch) >>> 7] + ch);
  public static char toLowerCase(char ch)  {    // Signedness doesn't matter, as result is cast back to char.    return (char) (ch + lower[readChar(ch) >> 7]);  }