First, incomplete impl. for SIGINT handling