181 void bch_encode(unsigned char *encode_in, unsigned char *encode_out)  in bch_encode()  argument
212         encode_out[i] = encode_in[i];  in bch_encode()
214     encode_out[515] = bch1 & 0x000000ff;  in bch_encode()
215     encode_out[516] = (bch1 & 0x0000ff00) >> 8;  in bch_encode()
216     encode_out[517] = (bch1 & 0x00ff0000) >> 16;  in bch_encode()
217     encode_out[518] = (bch1 & 0xff000000) >> 24;  in bch_encode()
218     encode_out[519] = bch2 & 0x000000ff;  in bch_encode()
219     encode_out[520] = (bch2 & 0x0000ff00) >> 8;  in bch_encode()
220     encode_out[521] = (bch2 & 0x00ff0000) >> 16;  in bch_encode()
221     encode_out[522] = (bch2 & 0xff000000) >> 24;  in bch_encode()
222     encode_out[523] = bch3 & 0x000000ff;  in bch_encode()
223     encode_out[524] = (bch3 & 0x0000ff00) >> 8;  in bch_encode()
224     encode_out[525] = (bch3 & 0x00ff0000) >> 16;  in bch_encode()
225     encode_out[526] = (bch3 & 0xff000000) >> 24;  in bch_encode()
226     encode_out[527] = bch4 & 0x000000ff;  in bch_encode()