33   catch(A *p) { abort(); } // A is ambiguous  in check()  local
34   catch(D *p) { caught = 1; if (p != d) abort();}  in check()  local
40   catch(A *p) { abort(); } // A is ambiguous  in check()  local
41   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
47   catch(A *p) { abort(); } // A is ambiguous  in check()  local
48   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
55   catch(B *p) { abort(); } // throw type is static type  in check()  local
56   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
62   catch(C *p) { abort(); } // throw type is static type  in check()  local
63   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
70   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
76   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
82   catch(C *p) { abort(); }  in check()  local
83   catch(D *p) { abort(); }  in check()  local
90   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
96   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
102   catch(B *p) { abort(); }  in check()  local
103   catch(D *p) { abort(); }  in check()  local