Unseeded global random generator: we must always avoid that.