extern int Bank_GetUserBalance(int ID);
extern int Bank_AlterUserBalance(int ID, int Delta);
extern char *Bank_GetUserName(int ID);
extern int Bank_GetUserBalance(int ID);
extern int Bank_AlterUserBalance(int ID, int Delta);
extern char *Bank_GetUserName(int ID);