39   catch(A *p) { abort(); } // A is ambiguous  in check()  local
40   catch(D *p) { caught = 1; if (p != d) abort();}  in check()  local
46   catch(A *p) { abort(); } // A is ambiguous  in check()  local
47   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
53   catch(A *p) { abort(); } // A is ambiguous  in check()  local
54   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
61   catch(B *p) { abort(); } // throw type is static type  in check()  local
62   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
68   catch(C *p) { abort(); } // throw type is static type  in check()  local
69   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
76   catch(A *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
82   catch(B *p) { caught = 1; if (p != (B *)d) abort();}  in check()  local
88   catch(C *p) { abort(); }  in check()  local
89   catch(D *p) { abort(); }  in check()  local
96   catch(A *p) { caught = 1; if (p != (C *)d) abort();}  in check()  local
102   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
108   catch(B *p) { abort(); }  in check()  local
109   catch(D *p) { abort(); }  in check()  local