#include "types.h"

typedef char * msgSpaceId;

typedef struct MsgPool {

} msgPool;

typedef struct MsgSpace {
  
} msgSpace;





/* */