1 #include <stdio.h>
2 #include "dl3header.h"
3 
4 extern void f (void);
5 
6 int
main(void)7 main (void)
8 {
9   try
10     {
11       f();
12     }
13   catch (A a)
14     {
15       if (a.i == 42)
16 	printf ("OK\n");
17       else
18 	printf ("BAD1\n");
19     }
20   catch (...)
21     {
22       printf ("BAD2\n");
23     }
24   return 0;
25 }
26