#include "ADFCreator_debug_flags.h" ofstream __logfile; void init_logging() { __logfile.open(__ADFCREATOR_LOG_FILENAME__); __logfile.clear(); }