44 void check(F *f)  in check()  argument
50   try { fnf(f); }  in check()
52   catch(F *p) { caught = 1; if (p != f) abort();}  in check()
57   try { fnf(f); }  in check()
59   catch(E *p) { caught = 1; if (p != f) abort();}  in check()
64   try { fnf(f); }  in check()
66   catch(D *p) { caught = 1; if (p != f) abort();}  in check()
71   try { fnf(f); }  in check()
73   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
78   try { fnf(f); }  in check()
80   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
86   try { fnd(f); }  in check()
88   catch(D *p) { caught = 1; if (p != f) abort();}  in check()
93   try { fnd(f); }  in check()
95   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
100   try { fnd(f); }  in check()
102   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
108   try { fne(f); }  in check()
109   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()
114   try { fne(f); }  in check()
115   catch(E *p) { caught = 1; if (p != f) abort();}  in check()
120   try { fne(f); }  in check()
127   try { fna((B *)f); }  in check()
129   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()
134   try { fna((C *)f); }  in check()
136   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()
141   try { fna((E *)f); }  in check()
143   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()
149   try { fnb((B *)f); }  in check()
150   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()
155   try { fnb((B *)f); }  in check()
156   catch(B *p) { caught = 1; if (p != f) abort();}  in check()
161   try { fnb((B *)f); }  in check()
169   try { fnc((C *)f); }  in check()
170   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()
175   try { fnc((C *)f); }  in check()
176   catch(C *p) { caught = 1; if (p != f) abort();}  in check()
181   try { fnc((C *)f); }  in check()
192   F f;  in main()  local
193   check (&f); // try with an object  in main()