* rand(n) -> real x | 0 <= x < n
-include 'random.sno'

loop    ne(output = convert(rand(20)'integer'),10) :s(loop)
end