Banker.allocated() implemented