Trapped EXIT, as well as CTRL-C