filecheck.cc #2