redef fun call: RESULT is intern

        redef fun call
        do
                var xs = new Array[E]
                if initial_val != null then
                        xs.push(initial_val)
                end
                return xs
        end