*/
    public static int enc_uint64be(final long l, final byte[] dst, final int di) {
        enc_uint32be((int) (l & 0xFFFFFFFFL), dst, di + 4);
        enc_uint32be((int) (l >> 32L & 0xFFFFFFFFL), dst, di);
        return 8;
    }

    /**
     * Encodes a 64-bit unsigned integer in little-endian byte order.
     *
     * @param l the long value to encode

     */
    public static int enc_uint64be(final long l, final byte[] dst, final int di) {
        enc_uint32be((int) (l & 0xFFFFFFFFL), dst, di + 4);
        enc_uint32be((int) (l >> 32L & 0xFFFFFFFFL), dst, di);
        return 8;
    }

    /**
     * Encodes a 64-bit unsigned integer in little-endian byte order.
     *
     * @param l the long value to encode

    }

    static long readTime(final byte[] src, final int srcIndex) {
        final int low = readInt4(src, srcIndex);
        final int hi = readInt4(src, srcIndex + 4);
        final long t = (long) hi << 32L | low & 0xFFFFFFFFL;
        return t / 10000L - MILLISECONDS_BETWEEN_1970_AND_1601;
    }

    static void writeTime(long t, final byte[] dst, final int dstIndex) {
        if (t != 0L) {