#include <Example/Example.h> int foo(void); int foo(void) { return 42; }