fn extract( env: soroban_sdk::Env, token_id: soroban_sdk::Address, spender: soroban_sdk::Address, dest: soroban_sdk::Address, amount: i128, )