1S1(0);
2

source code of polly/lib/External/isl/test_inputs/codegen/cloog/backtrack.c