Fix rand_int() producing non-random output
Remove a commented-out line