for (int c0 = 5; c0 <= 8; c0 += 1)
  s0(c0);
for (int c0 = 10; c0 <= 16; c0 += 2)
  s0(c0);
for (int c0 = 20; c0 <= 25; c0 += 1)
  s0(c0);