#include "checkpoint.h"
#if defined(CHECKPOINTS)
FILE* g_ckpt_file;
int g_ckpt_enabled;
int g_ckpt_record;
#endif