listElem = Short.MAX_VALUE*2 + listElem;
listElem = (int)(Short.MAX_VALUE*2 + listElem)+2;
	public int[] readInt32List() {		int listElem = readInt16();			//check, if this is a big unsigned int, and fix it:			if (listElem < 0)				listElem = Short.MAX_VALUE*2 + listElem;		int[] result = new int[ listElem ];		for ( int i = 0; i < listElem; i++ ) {			result[ i ] = readInt32(); 		}		return result;	}