repr=array[int]

Elements=iter (s:repr) yields (int)
  i:int := repr$low(s)
  while true do
    yield (s[i]) except when bounds: return end
    i:=i+1
  end
end Elements