15.2.2: new implementations of Exception decorator/context