abstraction_cas
