/* Generated by CLooG v0.10.7 */
for (i=0;i<=2;i++) {
  S1 ;
}