30   int caught;  in check()  local
33   caught = 0;  in check()
36   catch(D *p) { caught = 1; if (p != d) abort();}  in check()
38   if (!caught) abort();  in check()
40   caught = 0;  in check()
43   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
45   if (!caught) abort();  in check()
47   caught = 0;  in check()
50   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
52   if (!caught) abort();  in check()
54   caught = 0;  in check()
57   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()
59   if (!caught) abort();  in check()
62   caught = 0;  in check()
65   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
67   if (!caught) abort();  in check()
69   caught = 0;  in check()
72   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
74   if (!caught) abort();  in check()
76   caught = 0;  in check()
79   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()
81   if (!caught) abort();  in check()
84   caught = 0;  in check()
86   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
88   if (!caught) abort();  in check()
90   caught = 0;  in check()
92   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
94   if (!caught) abort();  in check()
96   caught = 0;  in check()
100   catch(...) { caught =1; }  in check()
101   if (!caught) abort();  in check()
104   caught = 0;  in check()
106   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
108   if (!caught) abort();  in check()
110   caught = 0;  in check()
112   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
114   if (!caught) abort();  in check()
116   caught = 0;  in check()
120   catch(...) { caught =1; }  in check()
121   if (!caught) abort();  in check()
124   caught = 0;  in check()
126   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()
128   if (!caught) abort();  in check()
130   caught = 0;  in check()
132   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()
134   if (!caught) abort();  in check()
136   caught = 0;  in check()
141   catch(...) { caught =1; }  in check()
142   if (!caught) abort();  in check()