public void put(int n) {
   alloc_.put(n);
   hiredout -= n;
   available += n;
   display();
 }