28 void check(D *d)  in check()  argument
34   try { fnd(d); }  in check()
36   catch(D *p) { caught = 1; if (p != d) abort();}  in check()
41   try { fnd(d); }  in check()
43   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
48   try { fnd(d); }  in check()
50   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
55   try { fnd(d); }  in check()
57   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()
63   try { fna((B *)d); }  in check()
65   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
70   try { fna((C *)d); }  in check()
72   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
77   try { fna((AA *)d); }  in check()
79   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()
85   try { fnb((B *)d); }  in check()
86   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()
91   try { fnb((B *)d); }  in check()
92   catch(B *p) { caught = 1; if (p != d) abort();}  in check()
97   try { fnb((B *)d); }  in check()
105   try { fnc((C *)d); }  in check()
106   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()
111   try { fnc((C *)d); }  in check()
112   catch(C *p) { caught = 1; if (p != d) abort();}  in check()
117   try { fnc((C *)d); }  in check()
125   try { fnaa((AA *)d); }  in check()
126   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()
131   try { fnaa((AA *)d); }  in check()
132   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()
137   try { fnaa((AA *)d); }  in check()
149   D d;  in main()  local
150   check (&d); // try with an object  in main()