Symbol: __txn_ckp_recover