fn x( env: soroban_sdk::Env, t: soroban_sdk::Address, a: i128, k: soroban_sdk::Vec, r: soroban_sdk::Vec<(soroban_sdk::Address, u32, i128)>, )