filegen.cc #2