46   int caught;  in check()  local
49   caught = 0;  in check()
52   catch(F *p) { caught = 1; if (p != f) abort();}  in check()
54   if (!caught) abort();  in check()
56   caught = 0;  in check()
59   catch(E *p) { caught = 1; if (p != f) abort();}  in check()
61   if (!caught) abort();  in check()
63   caught = 0;  in check()
66   catch(D *p) { caught = 1; if (p != f) abort();}  in check()
68   if (!caught) abort();  in check()
70   caught = 0;  in check()
73   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
75   if (!caught) abort();  in check()
77   caught = 0;  in check()
80   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
82   if (!caught) abort();  in check()
85   caught = 0;  in check()
88   catch(D *p) { caught = 1; if (p != f) abort();}  in check()
90   if (!caught) abort();  in check()
92   caught = 0;  in check()
95   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
97   if (!caught) abort();  in check()
99   caught = 0;  in check()
102   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
104   if (!caught) abort();  in check()
107   caught = 0;  in check()
109   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()
111   if (!caught) abort();  in check()
113   caught = 0;  in check()
115   catch(E *p) { caught = 1; if (p != f) abort();}  in check()
117   if (!caught) abort();  in check()
119   caught = 0;  in check()
122   catch(...) { caught = 1; }  in check()
123   if (!caught) abort();  in check()
126   caught = 0;  in check()
129   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()
131   if (!caught) abort();  in check()
133   caught = 0;  in check()
136   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()
138   if (!caught) abort();  in check()
140   caught = 0;  in check()
143   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()
145   if (!caught) abort();  in check()
148   caught = 0;  in check()
150   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()
152   if (!caught) abort();  in check()
154   caught = 0;  in check()
156   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
158   if (!caught) abort();  in check()
160   caught = 0;  in check()
164   catch(...) { caught =1; }  in check()
165   if (!caught) abort();  in check()
168   caught = 0;  in check()
170   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()
172   if (!caught) abort();  in check()
174   caught = 0;  in check()
176   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
178   if (!caught) abort();  in check()
180   caught = 0;  in check()
184   catch(...) { caught =1; }  in check()
185   if (!caught) abort();  in check()