1{
2  for (int c0 = 5; c0 <= 8; c0 += 1)
3    s0(c0);
4  for (int c0 = 10; c0 <= 16; c0 += 2)
5    s0(c0);
6  for (int c0 = 20; c0 <= 25; c0 += 1)
7    s0(c0);
8}
9