typedef int queue_type;

int initQUEUE(unsigned int nmax);
unsigned int isQUEUEempty(void);
queue_type getQUEUE(void);
void addQUEUE(queue_type a);
void destroyQUEUE(void);