Symbol: bch_decode