Add examples of how to use CAS and Lock