#include "types.h"

typedef int msgSpaceId;
typedef int msgSpace;
typedef int msgPool;




/* */