int test(void) {
  int i;
  int j;
  j = 3; i = 0;
  do {
    do {
      i = i + 1;
    } while (i < 10);
  } while (j == 3);
}