INT will exit