docs: public int readInt() throws IOException {
          int byte1 = file.read();
          int byte2 = file.read();
          int byte3 = file.read();
          int byte4 = file.read();
  
          if (byte4 < 0) {
              throw new EOFException();
          }
  
          return (byte4 << 24) + ((byte3 << 24) >>> 8) + ((byte2 << 24) >>> 16) + ((byte1 << 24) >>> 24);
      }