random.c revision 3d071d8d
1