a <- { rand(1000) | x <- inseg(500) }; b <- sort(a);