28   int caught;  in check()  local
31   caught = 0;  in check()
33   catch(A *p) { caught = 1; if (p != d) abort();}  in check()
35   if (!caught) abort();  in check()
37   caught = 0;  in check()
39   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
41   if (!caught) abort();  in check()
43   caught = 0;  in check()
45   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
47   if (!caught) abort();  in check()
50   caught = 0;  in check()
53   catch(A *p) { caught = 1; if (p != d) abort();}  in check()
55   if (!caught) abort();  in check()
57   caught = 0;  in check()
60   catch(A *p) { caught = 1; if (p != d) abort();}  in check()
62   if (!caught) abort();  in check()
65   caught = 0;  in check()
67   catch(A *p) { caught = 1; if (p != d) abort();}  in check()
69   if (!caught) abort();  in check()
71   caught = 0;  in check()
73   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
75   if (!caught) abort();  in check()
77   caught = 0;  in check()
81   catch(...) { caught =1; }  in check()
82   if (!caught) abort();  in check()
85   caught = 0;  in check()
87   catch(A *p) { caught = 1; if (p != d) abort();}  in check()
89   if (!caught) abort();  in check()
91   caught = 0;  in check()
93   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
95   if (!caught) abort();  in check()
97   caught = 0;  in check()
101   catch(...) { caught =1; }  in check()
102   if (!caught) abort();  in check()