Such an example should look like: `set Wallet.[[v]] { old_[[v]] = v; }`
Such an example should look like:
set Wallet.[[v]] { old_[[v]] = v; }