short listElem = readInt16();
int listElem = readInt16();  if (listElem < 0) listElem = Short.MAX_VALUE*2 + listElem;
	public int[] readInt32List() {		short listElem = readInt16();		int[] result = new int[ listElem ];		for ( int i = 0; i < listElem; i++ ) {			result[ i ] = readInt32(); 		}		return result;	}