1  /* { dg-do run } */
       2  /* { dg-require-weak "" } */
       3  /* { dg-require-alias "" } */
       4  /* { dg-additional-sources "wkali-2a.c wkali-2b.c" } */
       5  
       6  #include <stdlib.h>
       7  
       8  extern int foo(void);
       9  
      10  int main(void) {
      11  
      12      if (foo())
      13          exit(0);
      14      else
      15          abort();
      16  }