PREP(initBank);
PREP(initBankStore);
PREP(verifyBankStore);