@Contract(pure = true)
  public static @NotNull String tail(@NotNull String s, int idx) {
    return idx >= s.length() ? "" : s.substring(idx);
  }
@Contract(pure = true)
  public static @NotNull String tail(@NotNull String s, int idx)