public void info()
  {
   
    System.out.println("\nInfo:\nstate_bits:(R)eferenced | (A)vailable | (P)inned");
       
    int numBuffers = mgr.getNumBuffers();

    for ( int  i = 0; i < numBuffers; ++i ) {
        if (((i + 1) % 9) == 0)
           System.out.println("\n");
        System.out.println( "(" + i + ") ");
        switch(state_bit[i].state){
          case Referenced:
              System.out.println("R\t");
              break;
          case Available:
              System.out.println("A\t");
              break;
          case Pinned:
              System.out.println("P\t");
              break;
          default:
              System.err.println("ERROR from Replacer.info()");
              break;
        }
    }

    System.out.println("\n\n");
 
  }