1 #include <foo.h>
2 #include <stdio.h>
3 
main()4 int main()
5 {
6   printf("foo is: %d\n", foo());
7   return 0;
8 }
9