public int getNumUnpinnedBuffers()
  {
    int numBuffers = mgr.getNumBuffers();
    int answer = 0;
    for ( int index=0; index < numBuffers; ++index )
        if ( (mgr.frameTable())[index].pin_count() == 0 )
            ++answer;

    return answer;
  }