On decoding BCH codes | Synapse