int test(void) {
  int i;
  int j;
  int k;
  j = 1; k = 2; i = 0;
  do {
     k = k + j;
     if (k == 7) break;
     i = i + 1;
  } while (i < j);
  return 0;
}