return ( readInt32( inputStream ) + 256 * readInt32( inputStream ) );
return    ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) + 256 * ( readByte( inputStream ) ) ) ) ) ) ) ) );
	public static long readInt64( InputStream inputStream ) throws IOException {		return ( readInt32( inputStream ) + 256 * readInt32( inputStream ) );	}