static void PrintIndentedArg(Obj arg, bool isLast, DataWriter writer)
{
string str = arg.IsBlankObj() ? "<closure>" : PrintedObjOrFilename(arg, false);
for (int i = 0; i < str.Length; i++)
{
if (i == 0 || str[i] == '\n')
{
writer.Write(" ");
}
writer.Write(str[i]);
}
if (!isLast)
{
writer.Write(',');
}
writer.Write("\n");
writer.Flush();
}