let
finally handler f x =
let
r = (
try
f x
with
e
->
handler(); raise e
)
in
handler();
r