change is_bwt signature to use bwtint_t instead of int