Replace cl-push and cl-pop