source: CIVL/mods/dev.civl.abc/examples/svcomp/function.c

/*int f();
int g();
void h(int k);
*/
//void fi(int x);

/*
fnoreturn(int a){
  return a*a;
}*/

//int add(int, int);

int main() {
  //volatile int t;
  int x;

  (x);
  x=add(1,2);
  //fnoreturn(10);
  /* f();
  g();
  //t=add(1,2);
  h(t);*/
}

int add(int x, int y){
  return x+y;
}

/*
void h(int x){
  x++;
}
inline void fi(int x){
  x++;
  return;
  }*/