implement ATOMIC-PUSH and ATOMIC-POP