typedef int stack_type;

int initSTACK(unsigned int nmax);
unsigned int isSTACKempty(void);
unsigned int isSTACKfull(void);
stack_type popSTACK(void);
void pushSTACK(stack_type a);
void destroySTACK(void);