Symbol: binder_get_txn_from_and_acq_inner