void* checkin(void* p, char* tag);
void* checkout(void* p);
void checkpoint();