General: Random numbers in C++

Public message

Please do not use std::random_device, because it opens a file (/dev/urandom), which is forbidden by rules. rand() and std::random_shuffle are OK.