# $PRNG_1_1

The most significant 32-bits of \$PRNG_1.