rndbuf
if (opts.rndbuf || opts.rndmod) {
int r = rndbuf();
if (opts.rndbuf == 0)
static int rndbuf(void);
opts.rndbuf = 0; /* no random buffer switching */
opts.rndbuf = 1;
int rndbuf; /* switch buffer randomly if 1 */