- Include Wallet TLA code