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