1Regression test on double-typed catch phi
2