public override string ToString() { return String.Format ("{0} = {1} {2} {3}", dest, src1, op, src2); }