"body"部で例外が発生した場合は、その時点で"cleanup"が実行され、 'codice_9' ブロックの残りの部分が評価されることはない。