class DexDataWriter extends BufferedOutputStream {

    public void writeLong(long value) throws IOException {
        writeInt((int)value);
        writeInt((int)(value >> 32));
    }

    public  DexDataWriter(@Nonnull OutputStream output, int filePosition);
    public  DexDataWriter(@Nonnull OutputStream output, int filePosition, int bufferSize);

}