28   int caught;  in check()  local
31   caught = 0;  in check()
34   catch(D *p) { caught = 1; if (p != d) abort();}  in check()
36   if (!caught) abort();  in check()
38   caught = 0;  in check()
41   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
43   if (!caught) abort();  in check()
45   caught = 0;  in check()
48   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
50   if (!caught) abort();  in check()
53   caught = 0;  in check()
56   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
58   if (!caught) abort();  in check()
60   caught = 0;  in check()
63   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
65   if (!caught) abort();  in check()
68   caught = 0;  in check()
70   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
72   if (!caught) abort();  in check()
74   caught = 0;  in check()
76   catch(B *p) { caught = 1; if (p != (B *)d) abort();}  in check()
78   if (!caught) abort();  in check()
80   caught = 0;  in check()
84   catch(...) { caught =1; }  in check()
85   if (!caught) abort();  in check()
88   caught = 0;  in check()
90   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
92   if (!caught) abort();  in check()
94   caught = 0;  in check()
96   catch(C *p) { caught = 1; if (p != (C *)d) abort();}  in check()
98   if (!caught) abort();  in check()
100   caught = 0;  in check()
104   catch(...) { caught =1; }  in check()
105   if (!caught) abort();  in check()