38   catch(A *p) { abort(); } // A is ambiguous  in check()  local
39   catch(F *p) { caught = 1; if (p != f) abort();}  in check()  local
45   catch(A *p) { abort(); } // A is ambiguous  in check()  local
46   catch(E *p) { caught = 1; if (p != f) abort();}  in check()  local
52   catch(A *p) { abort(); } // A is ambiguous  in check()  local
53   catch(D *p) { caught = 1; if (p != f) abort();}  in check()  local
59   catch(A *p) { abort(); } // A is ambiguous  in check()  local
60   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
66   catch(A *p) { abort(); } // A is ambiguous  in check()  local
67   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
74   catch(A *p) { abort(); } // A is ambiguous  in check()  local
75   catch(D *p) { caught = 1; if (p != f) abort();}  in check()  local
81   catch(A *p) { abort(); } // A is ambiguous  in check()  local
82   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
88   catch(A *p) { abort(); } // A is ambiguous  in check()  local
89   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
96   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()  local
102   catch(E *p) { caught = 1; if (p != f) abort();}  in check()  local
108   catch(F *p) { abort(); }  in check()  local
115   catch(B *p) { abort(); } // throw type is static type  in check()  local
116   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()  local
122   catch(C *p) { abort(); } // throw type is static type  in check()  local
123   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()  local
129   catch(E *p) { abort(); } // throw type is static type  in check()  local
130   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()  local
137   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()  local
143   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
149   catch(C *p) { abort(); }  in check()  local
150   catch(D *p) { abort(); }  in check()  local
157   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()  local
163   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
169   catch(B *p) { abort(); }  in check()  local
170   catch(D *p) { abort(); }  in check()  local