   void s_init(void);
   BOOL s_is_empty(void);
   BOOL s_is_full(void);
   void s_push(unsigned char element);
   unsigned char s_pop(void);
   unsigned char s_gettop(void);

#define STACK_SIZE 10000

