32   int caught;  in check()  local
35   caught = 0;  in check()
38   catch(D *p) { caught = 1; if (p != e) abort();}  in check()
40   if (!caught) abort();  in check()
42   caught = 0;  in check()
45   catch(B *p) { caught = 1; if (p != e) abort();}  in check()
47   if (!caught) abort();  in check()
49   caught = 0;  in check()
52   catch(C *p) { caught = 1; if (p != e) abort();}  in check()
54   if (!caught) abort();  in check()
56   caught = 0;  in check()
59   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()
61   if (!caught) abort();  in check()
64   caught = 0;  in check()
67   catch(D *p) { caught = 1; if (p != e) abort();}  in check()
69   if (!caught) abort();  in check()
71   caught = 0;  in check()
74   catch(B *p) { caught = 1; if (p != e) abort();}  in check()
76   if (!caught) abort();  in check()
78   caught = 0;  in check()
81   catch(C *p) { caught = 1; if (p != e) abort();}  in check()
83   if (!caught) abort();  in check()
85   caught = 0;  in check()
88   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()
90   if (!caught) abort();  in check()
93   caught = 0;  in check()
96   catch(A *p) { caught = 1; if (p != (B *)e) abort();}  in check()
98   if (!caught) abort();  in check()
100   caught = 0;  in check()
103   catch(A *p) { caught = 1; if (p != (C *)e) abort();}  in check()
105   if (!caught) abort();  in check()
107   caught = 0;  in check()
110   catch(A *p) { caught = 1; if (p != (AA *)e) abort();}  in check()
112   if (!caught) abort();  in check()
115   caught = 0;  in check()
117   catch(A *p) { caught = 1; if (p != (B *)e) abort();}  in check()
119   if (!caught) abort();  in check()
121   caught = 0;  in check()
123   catch(B *p) { caught = 1; if (p != e) abort();}  in check()
125   if (!caught) abort();  in check()
127   caught = 0;  in check()
131   catch(...) { caught =1; }  in check()
132   if (!caught) abort();  in check()
135   caught = 0;  in check()
137   catch(A *p) { caught = 1; if (p != (C *)e) abort();}  in check()
139   if (!caught) abort();  in check()
141   caught = 0;  in check()
143   catch(C *p) { caught = 1; if (p != e) abort();}  in check()
145   if (!caught) abort();  in check()
147   caught = 0;  in check()
151   catch(...) { caught =1; }  in check()
152   if (!caught) abort();  in check()
155   caught = 0;  in check()
157   catch(A *p) { caught = 1; if (p != (AA *)e) abort();}  in check()
159   if (!caught) abort();  in check()
161   caught = 0;  in check()
163   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()
165   if (!caught) abort();  in check()
167   caught = 0;  in check()
172   catch(...) { caught =1; }  in check()
173   if (!caught) abort();  in check()