Well, he says he's using a "cursor for loop" - which types everything implicitly.