Basic random_shuffle as an attempt to fix a crasher