for i from 0 til len => j = i+1; ...