mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-11-05 17:56:46 +01:00
15 lines
224 B
C
15 lines
224 B
C
|
#include <stdio.h>
|
||
|
|
|
||
|
|
extern unsigned int foo(void);
|
||
|
|
extern unsigned int bar(void);
|
||
|
|
|
||
|
|
int main(int argc, char **argv)
|
||
|
|
{
|
||
|
|
if (foo() != 42)
|
||
|
|
return 1;
|
||
|
|
if (bar() != 42)
|
||
|
|
return 1;
|
||
|
|
fprintf(stderr, "ok\n");
|
||
|
|
return 0;
|
||
|
|
}
|