checkpoint-elimination.cc 1.49 KB