Hi, > Also note that even getrandom() is relatively recent. We probably should > handle somehow the case that none of these is available. on Linux, it is probably safer to read from /dev/urandom. Martin