Willy, when looking at the newest PRNG commits I noticed that some places that now use ha_random() still refer to RAND_MAX. You should check whether that still is appropriate, because my understanding is that you are now guaranteed to receive a specific number of bits.
Best regards Tim Düsterhus
