/// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="head">The head of the message.</param>
 /// <param name="body">The body of the message.</param>
 public PirateMessage(PirateMessageHead head, string body)
 {
     Contract.Requires(body != null);
     this.Head = head;
     this.Body = body;
 }
 public PirateMessage Constructor01(PirateMessageHead head, string body)
 {
     PirateMessage target = new PirateMessage(head, body);
     return target;
     // TODO: add assertions to method PirateMessageTest.Constructor01(PirateMessageHead, String)
 }