Returns three values: an iterator function, the table t, and 0, so that the construction 

     for i,v in ipairs(t) do _body_ end

will iterate over the pairs (1,t[1]), (2,t[2]), ..., up to the first integer key absent from the table.