1a(0);
2for (int c0 = 1; c0 <= 9; c0 += 1) {
3 a(c0);
4 b(c0 - 1);
5}
6b(9);
7

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