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