The traditional allocation of losses at a bank was first loss bank, second loss government, but never losses to insured depositors. To wit, if Willie Sutton robs a bank, the money lost is the bank's, not that of any particular depositor. If bank fails, then the FDIC steps in pays out the insured depositors. It does so on the basis of the bank's books and records.