Definitions of non-deterministic computations to be used for execution
We smash the definition of hw_rnd_gen to provide random numbers during execution by using Lisp's random function.
