IS_EMPTY
SIZE
PUSH 1
IS_EMPTY
TOP
SIZE
