Delete test4.2.cc