#include "types.h"
typedef char * msgSpaceId;
typedef struct MsgPool {
} msgPool;
typedef struct MsgSpace {
} msgSpace;
/* */