Source code for the SAFE Wallet