Comment to explain out.txt in dbgout.cpp