docs: final void writeInt(int value)
      {
          byte writeBuffer[] = new byte[4];
          writeBuffer[0] = (byte) (value >>> 24);
          writeBuffer[1] = (byte) (value >>> 16);
          writeBuffer[2] = (byte) (value >>> 8);
          writeBuffer[3] = (byte) (value >>> 0);
          write(writeBuffer, 0, 4);
      }