Is hitting Control-C an acceptable way of killing the player?