code: @Override
    public void writeInt(int v) throws IOException {
      work[0] = (byte) (0xffL & v);
      work[1] = (byte) (0xffL & (v >> 8));
      work[2] = (byte) (0xffL & (v >> 16));
      work[3] = (byte) (0xffL & (v >> 24));
      write(work, 0, 8);
    }
docs: /* (non-Javadoc)
  @see java.io.DataOutput#writeInt(int)