loop invariant, invariante do loop Ver iterative statement (instrução iterativa). ar VAR luzes do salto identificação de hardware .. ../..