inline uint32 Read4high ( uint8 *& in ) { uint8 b0 = *in++; uint8 b1 = *in++; uint8 b2 = *in++; uint8 b3 = *in++; return ((b0<<24) | (b1<<16) | (b2<<8) | b3); }
inline uint32 Read4high (std::istream &in) { return static_cast<uint32>((in.get()<<24) | (in.get()<<16) | (in.get()<<8) | in.get()); }
inline uint32 Read4high	(	uint8 *& in	)	{	uint8 b0 = *in++;	uint8 b1 = *in++;	uint8 b2 = *in++;	uint8 b3 = *in++;	return ((b0<<24) | (b1<<16) | (b2<<8) | b3);	}