CMNT	 	Input:  É/A/B ¥ É
PRIM	Stack/Push from aux	É/A ¥ B/É
PRIM	Stack/Push from aux	É ¥ A/B/É
PRIM	Stack/Second to aux	É/B ¥ A/É
PRIM	Stack/Pop to aux	É/B/A ¥ É