1Test on loop optimizations, in particular with geometric induction.
2