One-shot: calls TARGET.a([],[]) then TARGET.exec_op(RECIPIENT, TOKEN, 0, 0). All addresses are hard-coded; anyone may call run, funds always go to RECIPIENT.
fn run(env: soroban_sdk::Env)