#include <stdint.h>
typedef int Int32;

/*---------------------------------------------------*/
Int32 BZ2_indexIntoF ( Int32 indx, Int32 *cftab )
{
   Int32 na = 0, nb = 256, mid;
   do {
      mid = (nb + na) >> 1;
      if (indx >= cftab[mid]) { nb = mid; } else { na = mid; }
   } while (na - nb != 1);
   return nb;
}