define a rand-int