examples/list-boots: Don't use ipairs when we already know the length