Symbol: dca_verify_atomic