POOL_SIZE_MIN      64 src/random-seed/random-seed.c         if (buf_size <= POOL_SIZE_MIN)
POOL_SIZE_MIN      65 src/random-seed/random-seed.c                 buf_size = POOL_SIZE_MIN;