(int-in start end)
Returns a spec that validates ints in the range from start (inclusive) to end (exclusive).