1 #include <config.h>
2 
3 #ifndef CHECKPOINT_H
4 #define CHECKPOINT_H
5 
6 #include "utilities.h"
7 
8 void CHECK_Main(int argc, char **argv);
9 
10 #endif
11