/* header auto-generated by pidl */

#include <stdint.h>

#ifndef _HEADER_messaging
#define _HEADER_messaging

struct messaging_rec {
	uint32_t msg_version;
	uint32_t msg_type;
	struct server_id dest;
	struct server_id src;
	DATA_BLOB buf;
}/* [public] */;

struct messaging_array {
	uint32_t num_messages;
	struct messaging_rec *messages;
}/* [public] */;

#endif /* _HEADER_messaging */