#include"simple2.h" int simple_simple_function(void) { return 42; }