code: public void
  writeU32(long val) {
  	check(val, 32);
  	need(4);
  	array[pos++] = (byte)((val >>> 24) & 0xFF);
  	array[pos++] = (byte)((val >>> 16) & 0xFF);
  	array[pos++] = (byte)((val >>> 8) & 0xFF);
  	array[pos++] = (byte)(val & 0xFF);
  }
docs: Writes an unsigned 32 bit value to the stream.
  @param val The value to be written