Final push_finally