int i = 0;
do {
    ++i;
  write(" ", i, suffix=none);
} while (i % 6 != 0);