readfile.cc #2