El valor STEP no es válido

En una sentencia FROM:

- Si el valor inicial es menor que el valor final, no se puede especificar un valor negativo en la declaración STEP.

- Si el valor inicial es mayor que el valor final, no se puede especificar un valor positivo en la declaración STEP.

PROGRAM mi_juego;
BEGIN
    FROM x=0 TO 10 STEP -1; // Error: El valor STEP no es válido.
        //...
    END
END

Este bucle no es válido pues si a x, que originalmente valdrá 0, se le resta 1 en cada iteración, no llegará nunca a 10. Si lo que se pretende es hacer un bucle que se repita siempre, se debe utilizar la sentencia LOOP.