35   catch(A *p) { abort(); } // A is ambiguous  in check()  local
36   catch(D *p) { caught = 1; if (p != d) abort();}  in check()  local
42   catch(A *p) { abort(); } // A is ambiguous  in check()  local
43   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
49   catch(A *p) { abort(); } // A is ambiguous  in check()  local
50   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
56   catch(A *p) { abort(); } // A is ambiguous  in check()  local
57   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()  local
64   catch(B *p) { abort(); } // throw type is static type  in check()  local
65   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
71   catch(C *p) { abort(); } // throw type is static type  in check()  local
72   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
78   catch(AA *p) { abort(); } // throw type is static type  in check()  local
79   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()  local
86   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
92   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
98   catch(C *p) { abort(); }  in check()  local
99   catch(D *p) { abort(); }  in check()  local
106   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
112   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
118   catch(B *p) { abort(); }  in check()  local
119   catch(D *p) { abort(); }  in check()  local
126   catch(A *p) { caught = 1; if (p != (AA *)d) abort();}  in check()  local
132   catch(AA *p) { caught = 1; if (p != d) abort();}  in check()  local
138   catch(C *p) { abort(); }  in check()  local
139   catch(B *p) { abort(); }  in check()  local
140   catch(D *p) { abort(); }  in check()  local