Proof of bug in random generator