void push(int element);
int pop();
bool isEmpty();