public static String @NotNull [] readStringArray(@NotNull StubInputStream dataStream) throws IOException {
    return ArrayUtilRt.toStringArray(readSeq(dataStream, dataStream::readNameString));
  }
public static String @NotNull [] readStringArray(@NotNull StubInputStream dataStream)