A simple copy-and-paste implementation of Johannes Baagøe's Alea PRNG