source: CIVL/mods/dev.civl.abc/examples/equiv/test1_1.c

/*
 * test1_0.c and test1_1.c become equivalent after pruner is applied.
*/

#include<stdio.h>

int f(int k){
  return k;
}

int main(){
  for(int i = 0; i < 100; i++){
    printf("Current i is %d.\n", i);
  }
}