Symbol: checkpoint_signal_handler