Handle terminating signals.  Better, anyway.
checkpoint