.h>  static size_t GetHighResClock(void *buf, size_t maxbytes) {     int ticks;     struct tms buffer;      ticks = times(&buffer);     return CopyLowBits(buf, maxbytes, &ticks, sizeof(ticks)); }  static void GiveSystemInfo(void) {     long si;      /* 