Update exer4.cc