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