Definite (for) Loops