c random integer example