1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include <stdio.h> extern unsigned int foo(void); extern unsigned int bar(void); int main(int argc, char **argv) { if (foo() != 42) return 1; if (bar() != 42) return 1; fprintf(stderr, "ok\n"); return 0; }