@Contract(pure = true)
  public static char toLowerCase(char a) {
    if (a <= 'z') {
      return a >= 'A' && a <= 'Z' ? (char)(a + ('a' - 'A')) : a;
    }
    return Character.toLowerCase(a);
  }
@Contract(pure = true)
  public static char toLowerCase(char a)