#include #include namespace debug { std::unique_ptr out; //!< pointer to debug log file }