Do the Right Thing on Ctrl-C