/lively4-augment/src/blockchain/model/wallet