class DexDataWriter extends BufferedOutputStream {

    protected void writeRightZeroExtendedLong(int valueType, long value) throws IOException {
        int index = 7;
        do {
            tempBuf[index--] = (byte)((value & 0xFF00000000000000L) >>> 56);
            value <<= 8;
        } while (value != 0);

        int firstElement = index+1;
        int encodedLength = 8-firstElement;
        writeEncodedValueHeader(valueType, encodedLength - 1);
        write(tempBuf, firstElement, encodedLength);
    }

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

}