#include #include inline unsigned char RNG::byte() { return (unsigned char)next_int(255); } void RNG::bytes(unsigned char* ptr, std::size_t len) { for(std::size_t i=0;i