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