@Contract(pure = true)
  public static char toUpperCase(char a) {
    if (a < 'a') return a;
    if (a <= 'z') return (char)(a + ('A' - 'a'));
    return Character.toUpperCase(a);
  }
@Contract(pure = true)
  public static char toUpperCase(char a)