1/* This function is called from main() */
2int foo(int x)
3{
4    return x + 42;
5}
6