lib/External/isl/test_inputs/codegen/cloog/walters3.c

for (int c0 = 2; c0 <= 8; c0 += 2) {
  S1(c0, c0 / 2, c0 / 2);
  S2(c0, c0 / 2, c0 / 2);
}
S2(10, 5, 5);