int foo(int x) {
  return x+1;
}