C++ note: be careful with ifstream

The following is the correct and actually standard way of reading something

while(file.good())
{
file >> s;
cout << s;
}

However, the following is wrong:

while(file.good())
{
file.get(t);
cout << t ;
}

it will normally repeat the last char in the file. The reason is that file.good only changes after get() is called. This is the way

while(file.get(t))
{
cout << t ;
}

file.get(t) will return success if the process works.

C++ note: TRACE macros

#ifdef DEBUG
#define TRACE(x) { cout << x << endl; cout.flush(); }
#else
#define TRACE(x)
#endif

#ifdef DEBUG
#define RUN_ON_DEBUG(x) x
#else
#define RUN_ON_DEBUG(x)
#endif