RAND_NOISESRC, /* @const rand_source *s@ */
RAND_SEED, /* @unsigned bits@ */
RAND_TIMER, /* No args */
- RAND_GOODBITS /* No args */
+ RAND_GOODBITS, /* No args */
+ RAND_ADD /* @const void *p, size_t sz,@
+ * @unsigned goodbits */
};
/* --- Default random number generator --- */