blob: c9488fe43e559483832e67d897aa23a09c1c986b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#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;
}
|