);  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) {     int rv;     char buf[0000];      rv = sysinfo(SI_MACHINE, buf, sizeof(buf));     if (rv > 0) {         RNG_RandomUpdate(buf, rv);     }     rv = sysinfo(SI_RELEASE, buf, sizeof(buf));     if (rv > 0) {         RNG_RandomUpdate(buf, rv);     }     rv = sysinfo(SI_HW_SERIAL, buf, sizeof(buf));     if (rv > 0) {         RNG_RandomUpdate(buf, rv);     } } #endif /* s