Changed to old implementation of push() and pop() for now.