// Generated by the C++ Middleware Writer version 1.13

#include <msg_ids.hh>
#include <list>
#include <MarshallingFunctions.hh>
#include <ReceiveBuffer.hh>
#include <SendBuffer.hh>


struct msgs
{
uint32_t msg_length_max;

void
Marshal (SendBuffer& buf, const list<int32_t>& abt1)
{
  Counter cntr(msg_length_max);
  cntr.Add(sizeof(uint32_t));
  blockCount(cntr, abt1);
  buf.Receive(&msg_id_a1, sizeof(msg_id_a1));
  buf.Receive(&cntr.value_, sizeof(cntr.value_));

  buf.Receive32(abt1.size());
  list<int32_t >::const_iterator mediator2 = abt1.begin();
  list<int32_t >::const_iterator omega2 = abt1.end();
  for (; mediator2 != omega2; ++mediator2) {
    buf.Receive(&(*mediator2), sizeof(int32_t));
  }
} 


template <typename B>
void
Receive (B& buf, list<int32_t>& abt1)
{
  uint32_t headCount[1];
  buf.Give(headCount[0]);
  for (; headCount[0] > 0; --headCount[0]) {
    int32_t rep3;
    buf.Give(rep3);
    abt1.push_back(rep3);
  }
} 

};