for loop in codex