void STACKinit();
  int STACKempty();
  void STACKpush(int);
  int STACKpop();