The initialization is redundant, given how the for() loop starts.