int test(void) {
  int i;
  int j;
  int k;
  j = 1; k = 2;
  i = 0;
 loop:
  ? if (i >= j) goto exit;
  ? k = k + j;
  ? if (k == 7) goto exit;
    j = j - k;
    i = i + 1;
    goto loop;
 exit:
  return 0;
}