public static @NotNull SizeAwareIkv loadSizeAwareIkv(@NotNull Path file) throws IOException {
    return (SizeAwareIkv)loadIkv(file);
  }
public static @NotNull SizeAwareIkv loadSizeAwareIkv(@NotNull Path file)