#ifndef JOS_DJ_CHECKPOINT_HH
#define JOS_DJ_CHECKPOINT_HH

void checkpoint_update();

#endif