/* signals.h */

void signal_setup(void);
void checkpointing(int i);
void terminate_request(int i);
void logsig(int i);
void hupsig(int i);