Delete test9.4.cc