Commit | Line | Data |
---|---|---|
333d0055 | 1 | #include <stdlib.h> |
033bfb73 | 2 | #include <string.h> |
333d0055 JC |
3 | |
4 | extern int *p_int_from_a_2; | |
033bfb73 | 5 | extern const char *hello (void); |
333d0055 JC |
6 | |
7 | int main (void) { | |
8 | if (*p_int_from_a_2 != 0x11223344) | |
9 | abort (); | |
033bfb73 CC |
10 | if (strcmp(hello(), "Hello, world!") != 0) |
11 | abort (); | |
333d0055 JC |
12 | return 0; |
13 | } |