);  static size_t GetHighResClock(void *buf, size_t maxbytes) {     return 0; }  static void GiveSystemInfo(void) {     long si;      /* This is not very good */     si = sysconf(_SC_CHILD_MAX);     RNG_RandomUpdate(&si, sizeof(si)); } #endif 