51   catch(A *p) { abort(); } // A is ambiguous  in check()  local
52   catch(F *p) { caught = 1; if (p != f) abort();}  in check()  local
58   catch(A *p) { abort(); } // A is ambiguous  in check()  local
59   catch(E *p) { caught = 1; if (p != f) abort();}  in check()  local
65   catch(A *p) { abort(); } // A is ambiguous  in check()  local
66   catch(D *p) { caught = 1; if (p != f) abort();}  in check()  local
72   catch(A *p) { abort(); } // A is ambiguous  in check()  local
73   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
79   catch(A *p) { abort(); } // A is ambiguous  in check()  local
80   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
87   catch(A *p) { abort(); } // A is ambiguous  in check()  local
88   catch(D *p) { caught = 1; if (p != f) abort();}  in check()  local
94   catch(A *p) { abort(); } // A is ambiguous  in check()  local
95   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
101   catch(A *p) { abort(); } // A is ambiguous  in check()  local
102   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
109   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()  local
115   catch(E *p) { caught = 1; if (p != f) abort();}  in check()  local
121   catch(F *p) { abort(); }  in check()  local
128   catch(B *p) { abort(); } // throw type is static type  in check()  local
129   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()  local
135   catch(C *p) { abort(); } // throw type is static type  in check()  local
136   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()  local
142   catch(E *p) { abort(); } // throw type is static type  in check()  local
143   catch(A *p) { caught = 1; if (p != (E *)f) abort();}  in check()  local
150   catch(A *p) { caught = 1; if (p != (B *)f) abort();}  in check()  local
156   catch(B *p) { caught = 1; if (p != f) abort();}  in check()  local
162   catch(C *p) { abort(); }  in check()  local
163   catch(D *p) { abort(); }  in check()  local
170   catch(A *p) { caught = 1; if (p != (C *)f) abort();}  in check()  local
176   catch(C *p) { caught = 1; if (p != f) abort();}  in check()  local
182   catch(B *p) { abort(); }  in check()  local
183   catch(D *p) { abort(); }  in check()  local