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