37   catch(A *p) { abort(); } // A is ambiguous  in check()  local
38   catch(D *p) { caught = 1; if (p != e) abort();}  in check()  local
44   catch(A *p) { abort(); } // A is ambiguous  in check()  local
45   catch(B *p) { caught = 1; if (p != e) abort();}  in check()  local
51   catch(A *p) { abort(); } // A is ambiguous  in check()  local
52   catch(C *p) { caught = 1; if (p != e) abort();}  in check()  local
58   catch(A *p) { abort(); } // A is ambiguous  in check()  local
59   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()  local
66   catch(A *p) { abort(); } // A is ambiguous  in check()  local
67   catch(D *p) { caught = 1; if (p != e) abort();}  in check()  local
73   catch(A *p) { abort(); } // A is ambiguous  in check()  local
74   catch(B *p) { caught = 1; if (p != e) abort();}  in check()  local
80   catch(A *p) { abort(); } // A is ambiguous  in check()  local
81   catch(C *p) { caught = 1; if (p != e) abort();}  in check()  local
87   catch(A *p) { abort(); } // A is ambiguous  in check()  local
88   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()  local
95   catch(B *p) { abort(); } // throw type is static type  in check()  local
96   catch(A *p) { caught = 1; if (p != (B *)e) abort();}  in check()  local
102   catch(C *p) { abort(); } // throw type is static type  in check()  local
103   catch(A *p) { caught = 1; if (p != (C *)e) abort();}  in check()  local
109   catch(AA *p) { abort(); } // throw type is static type  in check()  local
110   catch(A *p) { caught = 1; if (p != (AA *)e) abort();}  in check()  local
117   catch(A *p) { caught = 1; if (p != (B *)e) abort();}  in check()  local
123   catch(B *p) { caught = 1; if (p != e) abort();}  in check()  local
129   catch(C *p) { abort(); }  in check()  local
130   catch(D *p) { abort(); }  in check()  local
137   catch(A *p) { caught = 1; if (p != (C *)e) abort();}  in check()  local
143   catch(C *p) { caught = 1; if (p != e) abort();}  in check()  local
149   catch(B *p) { abort(); }  in check()  local
150   catch(D *p) { abort(); }  in check()  local
157   catch(A *p) { caught = 1; if (p != (AA *)e) abort();}  in check()  local
163   catch(AA *p) { caught = 1; if (p != e) abort();}  in check()  local
169   catch(C *p) { abort(); }  in check()  local
170   catch(B *p) { abort(); }  in check()  local
171   catch(D *p) { abort(); }  in check()  local