1/* Generated from ../../../git/cloog/test/block3.cloog by CLooG 0.16.2-4-gba4e834 gmp bits in 0.00s. */
2S1();
3S3(0);
4S2();
5S3(1);
6