-#ifdef ENABLE_TRACING
-void cp_trace()
-{
- syslog(LOG_DEBUG, "Checkpoint trace: %s:%d <- %s:%d <- %s:%d <- %s:%d <- %s:%d <- %s:%d <- %s:%d <- %s:%d ...",
- cp_file[(cp_index+7)%8], cp_line[(cp_index+7)%8],
- cp_file[(cp_index+6)%8], cp_line[(cp_index+6)%8],
- cp_file[(cp_index+5)%8], cp_line[(cp_index+5)%8],
- cp_file[(cp_index+4)%8], cp_line[(cp_index+4)%8],
- cp_file[(cp_index+3)%8], cp_line[(cp_index+3)%8],
- cp_file[(cp_index+2)%8], cp_line[(cp_index+2)%8],
- cp_file[(cp_index+1)%8], cp_line[(cp_index+1)%8],
- cp_file[cp_index], cp_line[cp_index]
- );