code: private void xdr_int(int i) {
      buffer[offset++] = (byte)((i >> 24) & 0xff);
      buffer[offset++] = (byte)((i >> 16) & 0xff);
      buffer[offset++] = (byte)((i >> 8) & 0xff);
      buffer[offset++] = (byte)(i & 0xff);
    }
docs: Puts an integer into the buffer as 4 bytes, big-endian.