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