Code above sets `$i = 0; ` but what increments it?