/* Generated from ./infinite4.cloog by CLooG 0.15 64 bits in 0.00s. */
for (;;i++) {
  S1 ;
}