#include "foo.h" int foo() { return 42; }