326 void write2LE(FILE* fp, unsigned short val)  in write2LE()  argument
328     putc(val & 0xff, fp);  in write2LE()
329     putc(val >> 8, fp);  in write2LE()
332 void write4LE(FILE* fp, unsigned int val)  in write4LE()  argument
334     putc(val & 0xff, fp);  in write4LE()
335     putc((val >> 8) & 0xff, fp);  in write4LE()
336     putc((val >> 16) & 0xff, fp);  in write4LE()
337     putc((val >> 24) & 0xff, fp);  in write4LE()
340 void write8LE(FILE* fp, unsigned long long val)  in write8LE()  argument
342     putc(val & 0xff, fp);  in write8LE()
343     putc((val >> 8) & 0xff, fp);  in write8LE()
344     putc((val >> 16) & 0xff, fp);  in write8LE()
345     putc((val >> 24) & 0xff, fp);  in write8LE()
346     putc((val >> 32) & 0xff, fp);  in write8LE()
347     putc((val >> 40) & 0xff, fp);  in write8LE()
348     putc((val >> 48) & 0xff, fp);  in write8LE()
349     putc((val >> 56) & 0xff, fp);  in write8LE()
436     FILE *fp = fopen(traceFileName, "w");  in writeTrace()  local
437     if (fp == NULL) {  in writeTrace()
441     writeKeys(fp);  in writeTrace()
442     writeDataHeader(fp);  in writeTrace()
443     writeDataRecords(fp);  in writeTrace()
444     fclose(fp);  in writeTrace()