@Contract(pure=true)
  public static char @NotNull [] realloc(char @NotNull [] array, int newSize) {
    if (newSize == 0) {
      return ArrayUtilRt.EMPTY_CHAR_ARRAY;
    }

    int oldSize = array.length;
    return oldSize == newSize ? array : Arrays.copyOf(array, newSize);
  }
@Contract(pure=true)
  public static char @NotNull [] realloc(char @NotNull [] array, int newSize)