rand.h revision cf57145d4697dceca3f0542b370c20f7a2c5c6e8