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
8extern int foo(void);
9
10int main(void) {
11
12    if (foo())
13        exit(0);
14    else
15        abort();
16}
17