1S1(0);
2

source code of polly/lib/External/isl/test_inputs/codegen/cloog/basic-bounds-2.c