Please explain how this is supposed to work? What is the default signal handler for SIG_INT, and why should it be selected here?