pub suberror MspackError {
  MspackError(String)
}

pub struct ArchiveEntry {
  name : String
  size : Int
  compressed_size : Int
  offset : Int
  folder : Int
  flags : Int
} derive(Eq, Show)

pub struct ArchiveListing {
  format : String
  entries : Array[ArchiveEntry]
  warnings : Array[String]
} derive(Show)

pub struct ArchiveMetrics {
  entry_count : Int
  total_size : Int
  total_compressed_size : Int
  largest_size : Int
  largest_index : Int
  folders : Int
  files_with_data : Int
} derive(Eq, Show)

pub struct BitReader {
  data : Bytes
  byte_pos : Int
  bit_buffer : UInt
  bits : Int
} derive(Show)

pub struct CabBlock {
  offset : Int
  checksum : UInt
  compressed_size : Int
  uncompressed_size : Int
  compression : Int
} derive(Eq, Show)

pub struct ChmDirectory {
  version : Int
  chunk_size : Int
  first_chunk : Int
  last_chunk : Int
  listing_offset : Int
  listing_length : Int
} derive(Eq, Show)

pub struct ChmHeader {
  version : Int
  dir_offset : Int
  dir_length : Int
  data_offset : Int
  chunk_size : Int
  lang_id : Int
  num_chunks : Int
} derive(Eq, Show)

pub struct ChmSection {
  index : Int
  offset : Int
  length : Int
} derive(Eq, Show)

pub struct Extracted {
  entry : ArchiveEntry
  data : Bytes
} derive(Show)

pub struct HuffmanTable {
  lengths : Array[Int]
  codes : Array[Int]
  max_bits : Int
} derive(Show)

pub struct Limits {
  max_entries : Int
  max_output : Int
  max_window : Int
} derive(Show)

pub struct LzxBlockHeader {
  kind : Int
  length : Int
  aligned : Bool
} derive(Eq, Show)

pub struct LzxConfig {
  window_bits : Int
  reset_interval : Int
  max_output : Int
} derive(Eq, Show)

pub struct LzxDecoder {
  config : LzxConfig
  window : LzxWindow
  recent0 : Int
  recent1 : Int
  recent2 : Int
  produced : Int
} derive(Show)

pub enum LzxToken {
  Literal(Byte)
  Match(distance~ : Int, length~ : Int)
} derive(Eq, Show)

pub struct LzxWindow {
  size : Int
  position : Int
  data : Array[Byte]
} derive(Show)

pub struct Reader {
  data : Bytes
  pos : Int
} derive(Show)

fn archive_format_label(listing : ArchiveListing) -> String

fn archive_metrics(listing : ArchiveListing) -> ArchiveMetrics

fn archive_name_digest(listing : ArchiveListing) -> UInt

fn build_lzx_tree(lengths : Array[Int]) -> HuffmanTable raise MspackError

fn checksum32(data : Bytes) -> UInt

fn chm_section(header : ChmHeader, index : Int, length : Int, limits? : Limits) -> ChmSection raise MspackError

fn container_size(listing : ArchiveListing, container : Int) -> Int

fn copy_range(data : Bytes, offset~ : Int, size~ : Int, limits? : Limits) -> Bytes raise MspackError

fn count_entries_with_flags(listing : ArchiveListing, mask : Int) -> Int

fn decode_lzx_block(data : Bytes, window_bits~ : Int, expected~ : Int, limits? : Limits) -> Bytes raise MspackError

fn decode_lzx_code_lengths(bits : BitReader, pretree : HuffmanTable, count : Int, previous? : Int) -> (BitReader, Array[Int]) raise MspackError

fn decode_lzx_tokens(tokens : Array[LzxToken], config? : LzxConfig) -> Bytes raise MspackError

fn decode_lzx_tree(bits : BitReader, pretree : HuffmanTable, symbols : Int) -> (BitReader, HuffmanTable) raise MspackError

fn decode_mszip_block(data : Bytes, expected~ : Int, limits? : Limits) -> Bytes raise MspackError

let default_limits : Limits

let default_lzx_config : LzxConfig

fn detect(data : Bytes) -> String

fn emit_lzx_tokens(window : LzxWindow, tokens : Array[LzxToken], limits? : Limits) -> Bytes raise MspackError

fn entries_by_size(listing : ArchiveListing, minimum : Int, maximum : Int) -> Array[ArchiveEntry]

fn entries_in_container(listing : ArchiveListing, container : Int) -> Array[ArchiveEntry]

fn entry_view(data : Bytes, entry : ArchiveEntry, limits? : Limits) -> Reader raise MspackError

fn extract_cab_entry(data : Bytes, entry : ArchiveEntry, limits? : Limits) -> Bytes raise MspackError

fn extract_chm_entry(data : Bytes, header : ChmHeader, entry : ArchiveEntry, limits? : Limits) -> Bytes raise MspackError

fn find_archive_entry(listing : ArchiveListing, name : String) -> ArchiveEntry?

fn has_unique_entry_names(listing : ArchiveListing) -> Bool

fn inspect_cab_blocks(data : Bytes, entry : ArchiveEntry, limits? : Limits) -> Array[CabBlock] raise MspackError

fn inspect_chm(data : Bytes) -> (ChmHeader, ChmDirectory) raise MspackError

fn inspect_lzx_block(data : Bytes, limits? : Limits) -> LzxBlockHeader raise MspackError

fn list(data : Bytes, limits? : Limits) -> ArchiveListing raise MspackError

fn list_cab(data : Bytes) -> Array[ArchiveEntry] raise MspackError

fn list_chm_directory(data : Bytes, header : ChmHeader, directory : ChmDirectory, limits? : Limits) -> Array[ArchiveEntry] raise MspackError

let lzx_aligned_symbols : Int

let lzx_block_aligned : Int

let lzx_block_uncompressed : Int

let lzx_block_verbatim : Int

let lzx_frame_size : Int

fn lzx_header_bytes() -> Int

fn lzx_literal(byte : Byte) -> LzxToken

fn lzx_match(distance~ : Int, length~ : Int) -> LzxToken

fn lzx_match_distance(slot : Int, footer : Int, recent0 : Int, recent1 : Int, recent2 : Int, window_bits : Int) -> Int raise MspackError

fn lzx_match_length(symbol : Int) -> Int raise MspackError

let lzx_max_match : Int

let lzx_min_match : Int

let lzx_num_chars : Int

fn lzx_position_extra_bits(window_bits : Int) -> Array[Int] raise MspackError

fn lzx_position_slots(window_bits : Int) -> Int raise MspackError

let lzx_pretree_symbols : Int

let lzx_primary_lengths : Int

let lzx_secondary_lengths : Int

fn lzx_token_from_symbols(main_symbol : Int, length_symbol : Int, distance : Int) -> LzxToken raise MspackError

fn lzx_uses_aligned_tree(block_type : Int) -> Bool

fn read_cab(data : Bytes, limits? : Limits) -> ArchiveListing raise MspackError

fn read_chm(data : Bytes, limits? : Limits) -> ArchiveListing raise MspackError

fn read_chm_entries(data : Bytes, limits? : Limits) -> ArchiveListing raise MspackError

fn read_chm_section(data : Bytes, section : ChmSection, relative : Int, length : Int, limits? : Limits) -> Bytes raise MspackError

fn read_lzx_block_header(bits : BitReader) -> (BitReader, LzxBlockHeader) raise MspackError

fn summary(listing : ArchiveListing) -> String

fn take_archive_entries(listing : ArchiveListing, count : Int) -> Array[ArchiveEntry]

fn validate_cab_entry_blocks(data : Bytes, entry : ArchiveEntry, limits? : Limits) -> Array[CabBlock] raise MspackError

fn validate_entry_identity(listing : ArchiveListing) -> Unit raise MspackError

fn validate_entry_ranges(listing : ArchiveListing, input_size : Int) -> Unit raise MspackError

fn validate_listing(listing : ArchiveListing, limits? : Limits) -> Unit raise MspackError

fn validate_lzx_block_header(header : LzxBlockHeader, limits? : Limits) -> Unit raise MspackError

fn validate_lzx_tokens(tokens : Array[LzxToken]) -> Unit raise MspackError

fn validate_lzx_tree(lengths : Array[Int]) -> Unit raise MspackError

fn verify_cab_block_checksum(data : Bytes, block : CabBlock) -> Bool raise MspackError

fn within_output_budget(listing : ArchiveListing, budget : Int) -> Bool