#include <stdio.h>

int main () {
  int i = 1;
  switch(0) {
    for (i = 0; i < 3; ++i) {
      printf("oki\n");
    default:
      printf("doki\n");
    }
  }
  return 0;
}