size empty 0 size push x y s size x m s s s s 0 pop empty empty top empty eentry le x 0 false le 0 s x true le s x s y le x y pop push x y x le size x m true top push x y y le size x m true size 1 empty 0 0 0 push 2 s 1 m 0 pop 1 top 1 eentry 0 le 2 false 0 true 0 ORIENTED FULL