Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1#include <stdio.h> 2 3extern unsigned int foo(void); 4extern unsigned int bar(void); 5 6int main(int argc, char **argv) 7{ 8 if (foo() != 42) 9 return 1; 10 if (bar() != 42) 11 return 1; 12 fprintf(stderr, "ok\n"); 13 return 0; 14}