typedef int ElementType;

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