If an attempt is made to reduce a bank limit below the number of currently allocated objects, should it succeed? That is, is the limit something that is checked only on allocate (which would allow deallocate in the above case), or does it always have a sane value? shap