checkpoint-elimination.cc 2.6 KB