33   catch(A *p) { caught = 1; if (p != d) abort();}  in check()  local
39   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
45   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
52   catch(B *p) { abort(); } // throw type is static type  in check()  local
53   catch(A *p) { caught = 1; if (p != d) abort();}  in check()  local
59   catch(C *p) { abort(); } // throw type is static type  in check()  local
60   catch(A *p) { caught = 1; if (p != d) abort();}  in check()  local
67   catch(A *p) { caught = 1; if (p != d) abort();}  in check()  local
73   catch(B *p) { caught = 1; if (p != d) abort();}  in check()  local
79   catch(C *p) { abort(); }  in check()  local
80   catch(D *p) { abort(); }  in check()  local
87   catch(A *p) { caught = 1; if (p != d) abort();}  in check()  local
93   catch(C *p) { caught = 1; if (p != d) abort();}  in check()  local
99   catch(B *p) { abort(); }  in check()  local
100   catch(D *p) { abort(); }  in check()  local