public void w(int depthModifier, string line)
{
string toWrite = "";
if (manager.Flag(DebugFlag.LineNumbers))
{
toWrite += "[" + lineNum + "] ";
}
toWrite += depth + getExtraDepth(depthModifier) + line;
writeInternal(toWrite);
lineNum++;
}