A program implementing a "dead man's switch"