# $PRNG_0_1

The most significant 32-bits of \$PRNG_0.
