/* This function is called from main() */
int foo(int x)
{
    return x + 42;
}