Manual
Programming Reference
u32 random_u32()
Generates one random 32-bit unsigned integer.
Returns the generated number.