2016-11-21 13:17:54 +03:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
|
|
extern int return_42(void);
|
|
|
|
|
|
|
|
|
|
int main(int argc, char * argv[]) {
|
2016-11-24 13:36:45 +03:00
|
|
|
fprintf(stderr, "Hello world!\n");
|
|
|
|
|
|
2016-11-21 13:17:54 +03:00
|
|
|
fprintf(stderr, "Hello, dynamic world: %d\n", return_42());
|
|
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
