Symbol: __txn_regop_recover