1 for (int c0 = 0; c0 <= 10; c0 += 1) {
2   S0(c0);
3   if (c0 == 5)
4     S2();
5   S1(c0);
6 }
7