final/lib/External/isl/test_inputs/codegen/separate.c

{
  a(0);
  for (int c0 = 1; c0 <= 9; c0 += 1) {
    b(c0 - 1);
    a(c0);
  }
  b(9);
}