Bank Accounts

The directories buggy1 and buggy2 contain buggy versions of
the bank account code, and should be read first.