lib 1004342 // lzma java

static InputStream lzmaInputStream(S snippetID) ctex {
  File file = loadLibrary(snippetID);
  ret new lzma.streams.LzmaInputStream(new FileInputStream(file), new lzma.sdk.lzma.Decoder());
}