>>79
void writeRev2(FILE * fp, unsigned a)
{
fputc((a >> 8) & 0xff, fp);
fputc((a & 0xff, fp);
}