just a small C program producing random numbers