Two-enqueuer queue in Common2
Wait-Free Synchronization.