#pragma once

 #include "message.h"

 #include "sync.h"

 #include "sync_fsm.h"

 #ifdef __cplusplus

 extern "C" {

 #endif

 PEP_STATUS receive_sync_msg(

         PEP_SESSION session,

         sync_msg_t *sync_msg

     );

 PEP_STATUS receive_DeviceState_msg(

     PEP_SESSION session, 

     message *src, 

     PEP_rating rating, 

     stringlist_t *keylist);

 DeviceGroup_Protocol_t *new_DeviceGroup_Protocol_msg(DeviceGroup_Protocol__payload_PR type);

 void free_DeviceGroup_Protocol_msg(DeviceGroup_Protocol_t *msg);

 PEP_STATUS unicast_msg(

         PEP_SESSION session,

         const Identity partner,

         DeviceState_state state,

         DeviceGroup_Protocol_t *msg,

         bool encrypted

     );

 PEP_STATUS multicast_self_msg(

         PEP_SESSION session,

         DeviceState_state state,

         DeviceGroup_Protocol_t *msg,

         bool encrypted

     );

 bool is_double(DeviceGroup_Protocol_t *msg);

 #ifdef __cplusplus

 }

 #endif