random.c revision e33ba5fa
1