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