#include "tools.h"

#ifndef NDEBUG
	// ofstream *sout = ofstream_stdout();
#endif