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

for (int c0 = 3; c0 <= 24; c0 += 3)
  S2(c0, c0 / 3);
S1(25);
for (int c0 = 27; c0 <= 100; c0 += 3)
  S2(c0, c0 / 3);