int foo(int x)
{
  return x;
}
