verified_lockfree_stack