public WrenchStampedMsg(Std.HeaderMsg header, WrenchMsg wrench)
 {
     this.header = header;
     this.wrench = wrench;
 }
 private WrenchStampedMsg(MessageDeserializer deserializer)
 {
     this.header = Std.HeaderMsg.Deserialize(deserializer);
     this.wrench = WrenchMsg.Deserialize(deserializer);
 }
 public WrenchStampedMsg()
 {
     this.header = new Std.HeaderMsg();
     this.wrench = new WrenchMsg();
 }