/* Generated from ./basic-bounds-3.cloog by CLooG 0.15 64 bits in 0.00s. */
for (i=0;i<=M;i++) {
  S1 ;
}