#include <mqueue.h>
typedef unsigned long int                                                 mqd_t;
/*
POSIX(199309)
*/