12345678910111213141516171819(* This file is part of Dream, released under the MIT license. See LICENSE.md
for details, or visit https://github.com/aantron/dream.
Copyright 2021 Anton Bachin *)(* TODO LATER Is there something with lighter dependencies? Although perhaps
these are not so bad... *)letinitialize=lazy(Mirage_crypto_rng_lwt.initialize())letrandom_buffern=Lazy.forceinitialize;Mirage_crypto_rng.generatenletrandomn=Cstruct.to_string(random_buffern)