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

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

uint16_t const msg_id_a1 = 1201;
uint16_t const msg_id_max = 1202;

extern uint32_t msg_length_max;

struct msgs
{

static void
Send(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));
  }
  buf->Flush();
} 


template <typename B>
static 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);
  }
} 

};