filegen.cc #1