fn fuzzedHuffmanDrainSpaceLimit(max_drain: usize, written: usize, eos: bool) usize
fn fuzzedHuffmanDrainSpaceLimit(max_drain: usize, written: usize, eos: bool) usize { var block_lim = math.divCeil(usize, max_drain, Huffman.max_tokens) catch unreachable; block_lim = @max(block_lim, @intFromBool(eos)); const footer_overhead = @as(u8, 8) * @intFromBool(eos); // 6 for a raw block header (the block header may span two bytes) return written + 6 * block_lim + max_drain + footer_overhead; }