Problem Statement

If your system has a means to generate random numbers involving not only a software algorithm   (like the /dev/urandom devices in Unix),   then: show how to obtain a random 32-bit number from that mechanism.

Let's start with the solution:

USE: random
[ random-32 ] with-system-random .