Avoid always going through with_exit_handler/2, since that's what the comment says!