Unnamed

import java.util.zip.DataFormatException;import java.util.zip.Deflater;public class typedef {    public static void main(String[] i) throws DataFormatException {        Deflater d = new Deflater();        d.setInput(new byte[1 << 19]);        d.finish();        System.err.println("Uncompressed=" + (1 << 19) + "\nCompressed="                + d.deflate(new byte[1 << 7]));    }}