docs: public void writeInt(int pInt) throws IOException {
          file.write(pInt & 0xFF);
          file.write((pInt >>> 8) & 0xFF);
          file.write((pInt >>> 16) & 0xFF);
          file.write((pInt >>> 24) & 0xFF);
      }