ex 17.5.8 - remove redundant test; fully test state of stack after each push
ex 17.5.8 - test and implement pop