class Configuration;
void writeHeader(const Configuration& conf);
void writeCpp(const Configuration& conf);