<mime-type type="video/example"/>
  <mime-type type="video/h261">
    <glob pattern="*.h261"/>
  </mime-type>
  <mime-type type="video/h263">
    <glob pattern="*.h263"/>
  </mime-type>
  <mime-type type="video/h263-1998"/>
  <mime-type type="video/h263-2000"/>
  <mime-type type="video/h264">
    <glob pattern="*.h264"/>
  </mime-type>
  <mime-type type="video/iso.segment">

      <version>2.5.1</version>
      <version>2.5.2</version>
      <version>2.5.3</version>
      <version>2.6.0</version>
      <version>2.6.1</version>
      <version>2.6.2</version>
      <version>2.6.3</version>
      <version>2.7.0</version>
      <version>2.7.1</version>
      <version>3.0.0</version>
      <version>3.0.1</version>
      <version>3.0.2</version>
      <version>3.1.0</version>

         * results can exceed 2^63.
         */
        long result = times2ToThe32Mod(aHi * bHi /* < 2^62 */, m); // < m < 2^63
        result += aHi * bLo; // aHi * bLo < 2^63, result < 2^64
        if (result < 0) {
          result = UnsignedLongs.remainder(result, m);
        }
        // result < 2^63 again
        result += aLo * bHi; // aLo * bHi < 2^63, result < 2^64

         * results can exceed 2^63.
         */
        long result = times2ToThe32Mod(aHi * bHi /* < 2^62 */, m); // < m < 2^63
        result += aHi * bLo; // aHi * bLo < 2^63, result < 2^64
        if (result < 0) {
          result = UnsignedLongs.remainder(result, m);
        }
        // result < 2^63 again
        result += aLo * bHi; // aLo * bHi < 2^63, result < 2^64

   */
  public static long divide(long dividend, long divisor) {
    if (divisor < 0) { // i.e., divisor >= 2^63:
      if (compare(dividend, divisor) < 0) {
        return 0; // dividend < divisor
      } else {
        return 1; // dividend >= divisor
      }
    }

    // Optimization - use signed division if dividend < 2^63
    if (dividend >= 0) {
      return dividend / divisor;
    }

    /*

      <version>2.5.1</version>
      <version>2.5.2</version>
      <version>2.5.3</version>
      <version>2.6.0</version>
      <version>2.6.1</version>
      <version>2.6.2</version>
      <version>2.6.3</version>
      <version>2.7.0</version>
      <version>2.7.1</version>
      <version>3.0.0</version>
      <version>3.0.1</version>
      <version>3.0.2</version>
      <version>3.1.0</version>

      <version>2.5.0</version>
      <version>2.5.1</version>
      <version>2.5.2</version>
      <version>2.5.3</version>
      <version>2.6.0</version>
      <version>2.6.2</version>
      <version>2.6.3</version>
      <version>2.7.0</version>
      <version>2.7.1</version>
      <version>3.0.0</version>
      <version>3.0.1</version>
      <version>3.0.2</version>
      <version>3.1.0</version>

      <version>2.5.1</version>
      <version>2.5.2</version>
      <version>2.5.3</version>
      <version>2.6.0</version>
      <version>2.6.1</version>
      <version>2.6.2</version>
      <version>2.6.3</version>
      <version>2.7.0</version>
      <version>2.7.1</version>
      <version>3.0.0</version>
      <version>3.0.1</version>
      <version>3.0.2</version>
      <version>3.1.0</version>

      <version>2.5.1</version>
      <version>2.5.2</version>
      <version>2.5.3</version>
      <version>2.6.0</version>
      <version>2.6.1</version>
      <version>2.6.2</version>
      <version>2.6.3</version>
      <version>2.7.0</version>
      <version>2.7.1</version>
      <version>3.0.0</version>
      <version>3.0.1</version>
      <version>3.0.2</version>
      <version>3.1.0</version>

 */
@ElementTypesAreNonnullByDefault
final class Fingerprint2011 extends AbstractNonStreamingHashFunction {
  static final HashFunction FINGERPRINT_2011 = new Fingerprint2011();

  // Some primes between 2^63 and 2^64 for various uses.
  private static final long K0 = 0xa5b85c5e198ed849L;
  private static final long K1 = 0x8d58ac26afe12e47L;
  private static final long K2 = 0xc47b6e9e3a970ed3L;