@Contract(value = "null -> null; !null -> !null", pure = true)
  public static String toUpperCase(String s) {
    return s == null ? null : s.toUpperCase(Locale.ENGLISH);
  }
@Contract(value = "null -> null; !null -> !null", pure = true)
  public static String toUpperCase(String s)