Symbol: decode_decompress_add_bit