filetmp.cc #1