generates an input file for main.cc