encode

fun encode(rangeEncoder: SevenZip.RangeEncoder, symbol: Int)