random.c revision 40db23e5
1