int x = rand (-5,10);
assert(x > 0);
assert(x >= 0);