unsigned char *& out,
ostream& out,
inline void Write4	(	unsigned char *& out,		// Write here and update.	int val	)	{	*out++ = val & 0xff;	*out++ = (val>>8) & 0xff;	*out++ = (val>>16)&0xff;	*out++ = (val>>24)&0xff;	}