mini: simplified the PRNG a lot - safes 83 bytes