#include <stdio.h>

int foo(int x)
{
  printf("Inside foo: x=%d\n", x);
  return x+1;
}