@ReviseWhenPortedToJDK(value = "11", description = "InputStream#readNBytes")
  public static byte @NotNull [] readBytes(@NotNull InputStream inputStream, int len) throws IOException {
    byte[] buffer = new byte[len];
    int p = 0;
    while (p < len) {
      p += inputStream.read(buffer, p, len - p);
    }
    return buffer;
  }
@ReviseWhenPortedToJDK(value = "11", description = "InputStream#readNBytes")
  public static byte @NotNull [] readBytes(@NotNull InputStream inputStream, int len)