Revert "Merge pull request #917 from gabe283/CAS"

This reverts commit 08d3b85f1e586e222723883a9a5fa7c164b17a1a, reversing
changes made to 3e6eb9194c9213a663af76e229a78744bb628548.