fn execute( env: soroban_sdk::Env, prime: soroban_sdk::Address, interpreter: soroban_sdk::Address, calls: soroban_sdk::Vec, prime_contexts: soroban_sdk::Vec, ) -> soroban_sdk::Vec