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