Strongly Linearizable LL/SC from CAS