#include int main(void) { return call_foo() == 42 ? 0 : 1; }