let (&&&) = do_finally