random.c revision bd29e568
1