A.edcda B.dceab C.decba D.abcde
A.a[--top]=x B.a[top--]=x C.a[++top]=x D.a[top++]=x
A.top==0 B.top==1 C.top==-1 D.top==m