1  extern void lib1_default (void);
       2  extern void lib2_default (void);
       3  extern void lib3_default (void);
       4  
       5  int
       6  main (int argc __attribute__ ((unused)),
       7        char** argv __attribute__ ((unused)))
       8  {
       9    lib1_default ();
      10    lib2_default ();
      11    lib3_default ();
      12    return 0;
      13  }
      14