#include "bar.h" int something(void) { return bar(42); }