Changed sig_int() to use a standard signal-handler prototype.