34   int caught;  in check()  local
37   caught = 0;  in check()
40   catch(D *p) { caught = 1; if (p != d) abort();}  in check()
42   if (!caught) abort();  in check()
44   caught = 0;  in check()
47   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
49   if (!caught) abort();  in check()
51   caught = 0;  in check()
54   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
56   if (!caught) abort();  in check()
59   caught = 0;  in check()
62   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
64   if (!caught) abort();  in check()
66   caught = 0;  in check()
69   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
71   if (!caught) abort();  in check()
74   caught = 0;  in check()
76   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
78   if (!caught) abort();  in check()
80   caught = 0;  in check()
82   catch(B *p) { caught = 1; if (p != (B *)d) abort();}  in check()
84   if (!caught) abort();  in check()
86   caught = 0;  in check()
90   catch(...) { caught =1; }  in check()
91   if (!caught) abort();  in check()
94   caught = 0;  in check()
96   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
98   if (!caught) abort();  in check()
100   caught = 0;  in check()
102   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
104   if (!caught) abort();  in check()
106   caught = 0;  in check()
110   catch(...) { caught =1; }  in check()
111   if (!caught) abort();  in check()