[c] How to generate a random int in C?