public static char @NotNull [] fromSequence(@NotNull CharSequence seq, int start, int end) {
    char[] result = new char[end - start];
    getChars(seq, result, start, 0, end - start);
    return result;
  }
public static char @NotNull [] fromSequence(@NotNull CharSequence seq, int start, int end)