#ifdef DEBUG
#define  checkpoint()  \
  printf("Checkpoint at line %d in file \"%s\"\n", \
  __LINE__, __FILE__)
#else
#define  checkpoint() /* no printing */
#endif