5% faster get_cabac()