readfile.cc #1