public void Print()
{
Console.WriteLine("read={0}, org-translated={1}, new-tranlated={2}, written={3}, {4}={5}",
Read,
OrgTranslated,
NewTranslated,
Written,
RWDiff < 0 ? "removed" : "added", Math.Abs(RWDiff));
}