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