tests for push, pop