32   catch(A *p) { abort(); } // A is ambiguous  in check()  local
33   catch(D *p) { caught = 1; if (p != d) abort();}  in check()  local
39   catch(A *p) { abort(); } // A is ambiguous  in check()  local
40   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
46   catch(A *p) { abort(); } // A is ambiguous  in check()  local
47   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
54   catch(B *p) { abort(); } // throw type is static type  in check()  local
55   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
61   catch(C *p) { abort(); } // throw type is static type  in check()  local
62   catch(A *p) { caught = 1; if (p != (A *)(C *)d) abort();}  in check()  local
69   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
75   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
81   catch(C *p) { abort(); }  in check()  local
82   catch(D *p) { abort(); }  in check()  local
88   catch(A *p) { abort();}  in check()  local
89   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
95   catch(B *p) { abort(); }  in check()  local
96   catch(D *p) { abort(); }  in check()  local