#include "tools.h" #if _DEBUG ofstream *sout = ofstream_stdout(); #endif