extern int stackTop;
extern int stackData[100];

void push(int x);
int pop( );