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