Symbol: CAS_TABORT