checkpoint
#define checkpoint printf("%s:%d: Checkpoint...\n",__FILE__,__LINE__);\
#define checkpoint