clean program termination with UserInterrupt exception