checkpoint-elimination.cc 1.3 KB