Symbol: dca_verify_recover_atomic