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