with_exit_handler/2 did not do what I thought it did.