public override string ToString() { string t = "Proto: "; foreach (Message m in Messages) t += "\n\t" + m; return t; }