Looks good! Typo: add end-paren to store-conditional}) instead of CAS ({\em compare-and-set}, in practice, giving store-conditional}) instead of CAS ({\em compare-and-set}), in practice, -Doug