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