external new_lzma_stream: unit -> lzma_stream = "new_lzma_stream"