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