AtomicBankAccount, BankAccount, and Deadlock examples.