Organisationsmiragedigestifc5d37a (main)freebsd-5.2_opam-2.1

freebsd-5.2_opam-2.1

Logs

Show full logs
2024-06-26 22:32.17: New job: test mirage/digestif https://github.com/mirage/digestif.git#refs/heads/main (c5d37ab4648c03d89777cfea8d2c78480ea7edf3) (freebsd-x86_64:freebsd-5.2_opam-2.1)
Base: freebsd-ocaml-5.2
Opam project build

To reproduce locally:

git clone --recursive "https://github.com/mirage/digestif.git" -b "main" && cd "digestif" && git reset --hard c5d37ab4
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM freebsd-ocaml-5.2
# freebsd-5.2_opam-2.1
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 || git fetch origin master) && git reset -q --hard cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 digestif.opam ./
RUN opam pin add -yn digestif.dev './'
ENV DEPS="afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.6.9 crowbar.0.2.1 dune.3.16.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.1 --depext-only -y digestif.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build

END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK

2024-06-26 22:32.17: Using cache hint "mirage/digestif-freebsd-freebsd-ocaml-5.2-freebsd-5.2_opam-2.1-c39497dd2886f19a2f3f8cfbbee0d843"
2024-06-26 22:32.17: Using OBuilder spec:
((from freebsd-ocaml-5.2)
 (comment freebsd-5.2_opam-2.1)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 || git fetch origin master) && git reset -q --hard cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src digestif.opam) (dst ./))
 (run (network host)
      (shell "opam pin add -yn digestif.dev './'"))
 (env DEPS "afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.6.9 crowbar.0.2.1 dune.3.16.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y digestif.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)

2024-06-26 22:32.17: Waiting for resource in pool OCluster
2024-06-26 22:32.18: Waiting for worker…
2024-06-26 22:32.18: Got resource from pool OCluster
Building on summer
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint: 
hint: 	git config --global init.defaultBranch <name>
hint: 
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint: 
hint: 	git branch -m <name>
Initialized empty Git repository in /obuilder/state/git/digestif.git-01d73d1b6cb1c969a82a0a3351b7b93a8b4dd399/.git/
HEAD is now at c5d37ab Merge pull request #153 from mirage/prepare-v1.2.0

(from freebsd-ocaml-5.2)
2024-06-26 22:25.08 ---> using "3515bf58445883216685df527c06fc8b9b7799700694ffa335d1401da4433261" from cache

/: (comment freebsd-5.2_opam-2.1)

/: (user (uid 1000) (gid 1000))

/: (env CLICOLOR_FORCE 1)

/: (env OPAMCOLOR always)

/: (workdir /src)

/src: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
2024-06-26 22:25.08 ---> using "9d6862887f900f59625b2215f75e812893e141cab42bcb588c0a696a0d5f58ba" from cache

/src: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
2024-06-26 22:25.08 ---> using "1fd90ea945c776de537d3c99dc7b4903609e7adbb45bd33c5e3538b8de92ea66" from cache

/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
FreeBSD 14.0-RELEASE-p6
The OCaml toplevel, version 5.2.0
2.1.6
2024-06-26 22:25.09 ---> using "fb7d445678cc2654300145baf3967822bea6d22d7d1784a343fa4d849ce67e57" from cache

/src: (workdir /src)

/src: (run (shell "sudo chown opam /src"))
2024-06-26 22:25.09 ---> using "c8753f135ab4a2a6875ba6c72e3a7bf45a73413350972305e894f2309c51e448" from cache

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 || git fetch origin master) && git reset -q --hard cd6f5ac0abe26e4817497a01a9a6fb4090e058e2 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   59c0c54934..9ddad6a994  master     -> origin/master
cd6f5ac0ab Merge pull request #26094 from dinosaure/release-eqaf-v0.10

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository

Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).

The following packages are not being upgraded because the new versions conflict with other installed packages:
  - ocaml.5.3.0
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
2024-06-26 22:25.09 ---> using "1446c7b68458e9dec3396b89b723f5b86a99dca2922f1ef0ce5dc68d32fb66e7" from cache

/src: (copy (src digestif.opam) (dst ./))
2024-06-26 22:25.10 ---> saved as "180c175411bb7b7bd26184ab6faea32a055c989fb7f07b6fa2159ac09b9f77fa"

/src: (run (network host)
           (shell "opam pin add -yn digestif.dev './'"))
[digestif.dev] synchronised (file:///src)
digestif is now pinned to file:///src (version dev)
2024-06-26 22:25.12 ---> saved as "6925000abc2dd32e55b381f9b8a579ac36b42cb37c1ca549bd06aa748f9a13b5"

/src: (env DEPS "afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bos.0.2.1 cmdliner.1.3.0 cppo.1.6.9 crowbar.0.2.1 dune.3.16.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.2 re.1.11.0 rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3")

/src: (env CI true)

/src: (env OCAMLCI true)

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y digestif.dev $DEPS"))
[WARNING] Unknown update command for bsd, skipping system update

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[digestif.dev] synchronised (no changes)

[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-06-26 22:25.30 ---> saved as "acfc7844d89c167d90d31a53f8a334cd24b36cd169697bb7371ebedf381d8848"

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0).
[NOTE] Package ocaml is already installed (current version is 5.2.0).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
   install ocamlbuild         0.14.3
   install dune               3.16.0
   install ocamlfind          1.9.6
   install cmdliner           1.3.0
   install seq                base
   install stdlib-shims       0.3.0
   install ocaml-syntax-shims 1.0.0
   install eqaf               0.10
   install cppo               1.6.9
   install afl-persistent     1.4
   install topkg              1.0.7
   install base-bytes         base
   install re                 1.11.0
   install uutf               1.0.3
   install rresult            0.7.0
   install fmt                0.9.0
   install astring            0.8.5
   install ocplib-endian      1.2
   install logs               0.7.0
   install fpath              0.7.3
   install alcotest           1.7.0
   install crowbar            0.2.1
   install bos                0.2.1
=====  23 =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 retrieved afl-persistent.1.4  (cached)
 retrieved astring.0.8.5  (cached)
 retrieved alcotest.1.7.0  (cached)
 retrieved cmdliner.1.3.0  (cached)
 retrieved crowbar.0.2.1  (cached)
 retrieved cppo.1.6.9  (cached)
 retrieved bos.0.2.1  (cached)
 retrieved eqaf.0.10  (cached)
 retrieved fmt.0.9.0  (cached)
 retrieved fpath.0.7.3  (cached)
 retrieved logs.0.7.0  (cached)
 retrieved ocaml-syntax-shims.1.0.0  (cached)
 retrieved dune.3.16.0  (cached)
 retrieved ocplib-endian.1.2  (cached)
 retrieved ocamlfind.1.9.6  (cached)
 retrieved rresult.0.7.0  (cached)
 retrieved seq.base  (cached)
 installed seq.base
 retrieved stdlib-shims.0.3.0  (cached)
 retrieved re.1.11.0  (cached)
 retrieved ocamlbuild.0.14.3  (cached)
 retrieved uutf.1.0.3  (cached)
 retrieved topkg.1.0.7  (cached)
 installed cmdliner.1.3.0
 installed ocamlfind.1.9.6
 installed base-bytes.base
 installed ocamlbuild.0.14.3
 installed topkg.1.0.7
 installed rresult.0.7.0
 installed uutf.1.0.3
 installed fmt.0.9.0
 installed astring.0.8.5
 installed fpath.0.7.3
 installed logs.0.7.0
 installed bos.0.2.1
 installed dune.3.16.0
 installed stdlib-shims.0.3.0
 installed afl-persistent.1.4
 installed eqaf.0.10
 installed ocaml-syntax-shims.1.0.0
 installed cppo.1.6.9
 installed re.1.11.0
 installed ocplib-endian.1.2
 installed crowbar.0.2.1
 installed alcotest.1.7.0
Done.

<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>
=> afl-persistent is installed, but since the current OCaml compiler does
   not enable AFL instrumentation by default, most packages will not be
   instrumented and fuzzing with afl-fuzz may not be effective.

   To globally enable AFL instrumentation, create an OCaml switch like:

     opam switch create 5.2.0+afl ocaml-variants.5.2.0+options ocaml-option-afl
2024-06-26 22:26.44 ---> saved as "f752d80ab4c0278ae3362aba3ad026d9bf0c2b692fe8beb84900087460d917d3"

/src: (copy (src .) (dst /src))
2024-06-26 22:26.45 ---> saved as "044e9ee350035fbfac1ef13efade558f2343055c7329354235823bc3d63a6e91"

/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/c && ./test_cve.exe --quick-tests --color=always)
Testing `digestif (CVE)'.
This run has ID `78RSJYZ9'.

  [SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
  [SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.

Full test results in `/src/_build/default/test/c/_build/_tests/digestif U+0028CVEU+0029'.
Test Successful in 0.000s. 0 test run.
(cd _build/default/fuzz && ./fuzz_c.exe)
get_into_bytes: PASS

(cd _build/default/test/ocaml && ./test_cve.exe --quick-tests --color=always)
Testing `digestif (CVE)'.
This run has ID `9IIZBUZT'.

  [SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
  [SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.

Full test results in `/src/_build/default/test/ocaml/_build/_tests/digestif U+0028CVEU+0029'.
Test Successful in 0.000s. 0 test run.
(cd _build/default/fuzz && ./fuzz_ocaml.exe)
get_into_bytes: PASS

(cd _build/default/test/c && ./test.exe --color=always)
Testing `digestif'.
This run has ID `TPGMB128'.

  [OK]          md5                                  0   md5.
  [OK]          md5                                  1   md5.
  [OK]          md5                                  2   md5.
  [OK]          md5                                  3   md5.
  [OK]          md5                                  4   md5.
  [OK]          md5 (bigstring)                      0   md5.
  [OK]          md5 (bigstring)                      1   md5.
  [OK]          md5 (bigstring)                      2   md5.
  [OK]          md5 (bigstring)                      3   md5.
  [OK]          md5 (bigstring)                      4   md5.
  [OK]          sha1                                 0   sha1.
  [OK]          sha1                                 1   sha1.
  [OK]          sha1                                 2   sha1.
  [OK]          sha1                                 3   sha1.
  [OK]          sha1                                 4   sha1.
  [OK]          sha1 (bigstring)                     0   sha1.
  [OK]          sha1 (bigstring)                     1   sha1.
  [OK]          sha1 (bigstring)                     2   sha1.
  [OK]          sha1 (bigstring)                     3   sha1.
  [OK]          sha1 (bigstring)                     4   sha1.
  [OK]          sha224                               0   sha224.
  [OK]          sha224                               1   sha224.
  [OK]          sha224                               2   sha224.
  [OK]          sha224                               3   sha224.
  [OK]          sha224                               4   sha224.
  [OK]          sha224 (bigstring)                   0   sha224.
  [OK]          sha224 (bigstring)                   1   sha224.
  [OK]          sha224 (bigstring)                   2   sha224.
  [OK]          sha224 (bigstring)                   3   sha224.
  [OK]          sha224 (bigstring)                   4   sha224.
  [OK]          sha256                               0   sha256.
  [OK]          sha256                               1   sha256.
  [OK]          sha256                               2   sha256.
  [OK]          sha256                               3   sha256.
  [OK]          sha256                               4   sha256.
  [OK]          sha256 (bigstring)                   0   sha256.
  [OK]          sha256 (bigstring)                   1   sha256.
  [OK]          sha256 (bigstring)                   2   sha256.
  [OK]          sha256 (bigstring)                   3   sha256.
  [OK]          sha256 (bigstring)                   4   sha256.
  [OK]          sha384                               0   sha384.
  [OK]          sha384                               1   sha384.
  [OK]          sha384                               2   sha384.
  [OK]          sha384                               3   sha384.
  [OK]          sha384                               4   sha384.
  [OK]          sha384 (bigstring)                   0   sha384.
  [OK]          sha384 (bigstring)                   1   sha384.
  [OK]          sha384 (bigstring)                   2   sha384.
  [OK]          sha384 (bigstring)                   3   sha384.
  [OK]          sha384 (bigstring)                   4   sha384.
  [OK]          sha512                               0   sha512.
  [OK]          sha512                               1   sha512.
  [OK]          sha512                               2   sha512.
  [OK]          sha512                               3   sha512.
  [OK]          sha512                               4   sha512.
  [OK]          sha512 (bigstring)                   0   sha512.
  [OK]          sha512 (bigstring)                   1   sha512.
  [OK]          sha512 (bigstring)                   2   sha512.
  [OK]          sha512 (bigstring)                   3   sha512.
  [OK]          sha512 (bigstring)                   4   sha512.
  [OK]          sha3_224                             0   sha3_224.
  [OK]          sha3_224                             1   sha3_224.
  [OK]          sha3_224                             2   sha3_224.
  [OK]          sha3_224                             3   sha3_224.
  [OK]          sha3_224                             4   sha3_224.
  [OK]          sha3_224 (bigstring)                 0   sha3_224.
  [OK]          sha3_224 (bigstring)                 1   sha3_224.
  [OK]          sha3_224 (bigstring)                 2   sha3_224.
  [OK]          sha3_224 (bigstring)                 3   sha3_224.
  [OK]          sha3_224 (bigstring)                 4   sha3_224.
  [OK]          sha3_256                             0   sha3_256.
  [OK]          sha3_256                             1   sha3_256.
  [OK]          sha3_256                             2   sha3_256.
  [OK]          sha3_256                             3   sha3_256.
  [OK]          sha3_256                             4   sha3_256.
  [OK]          sha3_256 (bigstring)                 0   sha3_256.
  [OK]          sha3_256 (bigstring)                 1   sha3_256.
  [OK]          sha3_256 (bigstring)                 2   sha3_256.
  [OK]          sha3_256 (bigstring)                 3   sha3_256.
  [OK]          sha3_256 (bigstring)                 4   sha3_256.
  [OK]          keccak_256                           0   keccak_256.
  [OK]          keccak_256                           1   keccak_256.
  [OK]          keccak_256                           2   keccak_256.
  [OK]          keccak_256                           3   keccak_256.
  [OK]          keccak_256                           4   keccak_256.
  [OK]          keccak_256 (bigstring)               0   keccak_256.
  [OK]          keccak_256 (bigstring)               1   keccak_256.
  [OK]          keccak_256 (bigstring)               2   keccak_256.
  [OK]          keccak_256 (bigstring)               3   keccak_256.
  [OK]          keccak_256 (bigstring)               4   keccak_256.
  [OK]          sha3_384                             0   sha3_384.
  [OK]          sha3_384                             1   sha3_384.
  [OK]          sha3_384                             2   sha3_384.
  [OK]          sha3_384                             3   sha3_384.
  [OK]          sha3_384                             4   sha3_384.
  [OK]          sha3_384 (bigstring)                 0   sha3_384.
  [OK]          sha3_384 (bigstring)                 1   sha3_384.
  [OK]          sha3_384 (bigstring)                 2   sha3_384.
  [OK]          sha3_384 (bigstring)                 3   sha3_384.
  [OK]          sha3_384 (bigstring)                 4   sha3_384.
  [OK]          sha3_512                             0   sha3_512.
  [OK]          sha3_512                             1   sha3_512.
  [OK]          sha3_512                             2   sha3_512.
  [OK]          sha3_512                             3   sha3_512.
  [OK]          sha3_512                             4   sha3_512.
  [OK]          sha3_512 (bigstring)                 0   sha3_512.
  [OK]          sha3_512 (bigstring)                 1   sha3_512.
  [OK]          sha3_512 (bigstring)                 2   sha3_512.
  [OK]          sha3_512 (bigstring)                 3   sha3_512.
  [OK]          sha3_512 (bigstring)                 4   sha3_512.
  [OK]          whirlpool                            0   whirlpool.
  [OK]          whirlpool                            1   whirlpool.
  [OK]          whirlpool                            2   whirlpool.
  [OK]          whirlpool                            3   whirlpool.
  [OK]          whirlpool                            4   whirlpool.
  [OK]          whirlpool (bigstring)                0   whirlpool.
  [OK]          whirlpool (bigstring)                1   whirlpool.
  [OK]          whirlpool (bigstring)                2   whirlpool.
  [OK]          whirlpool (bigstring)                3   whirlpool.
  [OK]          whirlpool (bigstring)                4   whirlpool.
  [OK]          blake2b                              0   blake2b.
  [OK]          blake2b                              1   blake2b.
  [OK]          blake2b                              2   blake2b.
  [OK]          blake2b                              3   blake2b.
  [OK]          blake2b                              4   blake2b.
  [OK]          blake2b (bigstring)                  0   blake2b.
  [OK]          blake2b (bigstring)                  1   blake2b.
  [OK]          blake2b (bigstring)                  2   blake2b.
  [OK]          blake2b (bigstring)                  3   blake2b.
  [OK]          blake2b (bigstring)                  4   blake2b.
  [OK]          rmd160                               0   rmd160.
  [OK]          rmd160                               1   rmd160.
  [OK]          rmd160                               2   rmd160.
  [OK]          rmd160                               3   rmd160.
  [OK]          rmd160                               4   rmd160.
  [OK]          rmd160 (bigstring)                   0   rmd160.
  [OK]          rmd160 (bigstring)                   1   rmd160.
  [OK]          rmd160 (bigstring)                   2   rmd160.
  [OK]          rmd160 (bigstring)                   3   rmd160.
  [OK]          rmd160 (bigstring)                   4   rmd160.
  [OK]          blake2s                              0   blake2s.
  [OK]          blake2s                              1   blake2s.
  [OK]          blake2s                              2   blake2s.
  [OK]          blake2s                              3   blake2s.
  [OK]          blake2s                              4   blake2s.
  [OK]          blake2s (bigstring)                  0   blake2s.
  [OK]          blake2s (bigstring)                  1   blake2s.
  [OK]          blake2s (bigstring)                  2   blake2s.
  [OK]          blake2s (bigstring)                  3   blake2s.
  [OK]          blake2s (bigstring)                  4   blake2s.
  [OK]          blake2s (keyed, input file)          0   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          1   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          2   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          3   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          4   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          5   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          6   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          7   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          8   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          9   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         10   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         11   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         12   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         13   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         14   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         15   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         16   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         17   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         18   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         19   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         20   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         21   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         22   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         23   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         24   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         25   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         26   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         27   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         28   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         29   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         30   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         31   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         32   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         33   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         34   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         35   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         36   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         37   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         38   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         39   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         40   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         41   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         42   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         43   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         44   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         45   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         46   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         47   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         48   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         49   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         50   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         51   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         52   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         53   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         54   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         55   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         56   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         57   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         58   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         59   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         60   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         61   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         62   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         63   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         64   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         65   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         66   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         67   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         68   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         69   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         70   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         71   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         72   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         73   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         74   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         75   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         76   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         77   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         78   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         79   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         80   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         81   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         82   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         83   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         84   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         85   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         86   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         87   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         88   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         89   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         90   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         91   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         92   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         93   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         94   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         95   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         96   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         97   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         98   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         99   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        100   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        101   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        102   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        103   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        104   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        105   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        106   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        107   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        108   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        109   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        110   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        111   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        112   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        113   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        114   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        115   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        116   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        117   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        118   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        119   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        120   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        121   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        122   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        123   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        124   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        125   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        126   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        127   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        128   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        129   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        130   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        131   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        132   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        133   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        134   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        135   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        136   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        137   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        138   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        139   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        140   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        141   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        142   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        143   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        144   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        145   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        146   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        147   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        148   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        149   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        150   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        151   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        152   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        153   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        154   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        155   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        156   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        157   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        158   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        159   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        160   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        161   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        162   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        163   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        164   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        165   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        166   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        167   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        168   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        169   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        170   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        171   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        172   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        173   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        174   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        175   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        176   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        177   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        178   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        179   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        180   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        181   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        182   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        183   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        184   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        185   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        186   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        187   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        188   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        189   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        190   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        191   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        192   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        193   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        194   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        195   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        196   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        197   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        198   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        199   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        200   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        201   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        202   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        203   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        204   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        205   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        206   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        207   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        208   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        209   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        210   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        211   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        212   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        213   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        214   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        215   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        216   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        217   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        218   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        219   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        220   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        221   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        222   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        223   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        224   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        225   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        226   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        227   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        228   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        229   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        230   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        231   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        232   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        233   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        234   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        235   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        236   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        237   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        238   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        239   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        240   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        241   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        242   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        243   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        244   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        245   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        246   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        247   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        248   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        249   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        250   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        251   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        252   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        253   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        254   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          0   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          1   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          2   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          3   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          4   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          5   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          6   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          7   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          8   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          9   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         10   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         11   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         12   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         13   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         14   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         15   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         16   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         17   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         18   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         19   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         20   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         21   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         22   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         23   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         24   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         25   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         26   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         27   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         28   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         29   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         30   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         31   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         32   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         33   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         34   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         35   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         36   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         37   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         38   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         39   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         40   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         41   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         42   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         43   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         44   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         45   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         46   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         47   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         48   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         49   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         50   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         51   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         52   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         53   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         54   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         55   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         56   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         57   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         58   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         59   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         60   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         61   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         62   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         63   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         64   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         65   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         66   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         67   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         68   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         69   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         70   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         71   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         72   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         73   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         74   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         75   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         76   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         77   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         78   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         79   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         80   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         81   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         82   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         83   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         84   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         85   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         86   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         87   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         88   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         89   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         90   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         91   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         92   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         93   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         94   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         95   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         96   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         97   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         98   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         99   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        100   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        101   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        102   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        103   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        104   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        105   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        106   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        107   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        108   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        109   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        110   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        111   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        112   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        113   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        114   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        115   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        116   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        117   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        118   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        119   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        120   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        121   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        122   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        123   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        124   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        125   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        126   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        127   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        128   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        129   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        130   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        131   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        132   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        133   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        134   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        135   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        136   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        137   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        138   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        139   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        140   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        141   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        142   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        143   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        144   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        145   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        146   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        147   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        148   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        149   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        150   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        151   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        152   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        153   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        154   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        155   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        156   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        157   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        158   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        159   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        160   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        161   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        162   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        163   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        164   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        165   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        166   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        167   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        168   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        169   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        170   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        171   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        172   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        173   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        174   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        175   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        176   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        177   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        178   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        179   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        180   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        181   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        182   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        183   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        184   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        185   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        186   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        187   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        188   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        189   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        190   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        191   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        192   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        193   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        194   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        195   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        196   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        197   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        198   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        199   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        200   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        201   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        202   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        203   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        204   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        205   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        206   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        207   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        208   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        209   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        210   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        211   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        212   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        213   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        214   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        215   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        216   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        217   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        218   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        219   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        220   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        221   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        222   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        223   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        224   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        225   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        226   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        227   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        228   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        229   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        230   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        231   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        232   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        233   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        234   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        235   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        236   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        237   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        238   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        239   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        240   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        241   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        242   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        243   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        244   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        245   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        246   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        247   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        248   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        249   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        250   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        251   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        252   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        253   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        254   blake2{b,s}.
  [OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
  [OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
  [OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
  [OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
  [OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
  [OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
  [OK]          ripemd160                            0   rmd160.
  [OK]          ripemd160                            1   rmd160.
  [OK]          ripemd160                            2   rmd160.
  [OK]          ripemd160                            3   rmd160.
  [OK]          ripemd160                            4   rmd160.
  [OK]          ripemd160                            5   rmd160.
  [OK]          ripemd160                            6   rmd160.
  [OK]          ripemd160                            7   rmd160.
  [OK]          ripemd160                            8   give me a million.
  [OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
  [OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
  [OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
  [OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
  [OK]          sha3 (vector tests)                  4   ../keccak_256.txt.

Full test results in `/src/_build/default/test/c/_build/_tests/digestif'.
Test Successful in 0.447s. 680 tests run.
(cd _build/default/test/ocaml && ./test.exe --quick-tests --color=always)
Testing `digestif'.
This run has ID `DE3FJEXH'.

  [OK]          md5                                  0   md5.
  [OK]          md5                                  1   md5.
  [OK]          md5                                  2   md5.
  [OK]          md5                                  3   md5.
  [OK]          md5                                  4   md5.
  [OK]          md5 (bigstring)                      0   md5.
  [OK]          md5 (bigstring)                      1   md5.
  [OK]          md5 (bigstring)                      2   md5.
  [OK]          md5 (bigstring)                      3   md5.
  [OK]          md5 (bigstring)                      4   md5.
  [OK]          sha1                                 0   sha1.
  [OK]          sha1                                 1   sha1.
  [OK]          sha1                                 2   sha1.
  [OK]          sha1                                 3   sha1.
  [OK]          sha1                                 4   sha1.
  [OK]          sha1 (bigstring)                     0   sha1.
  [OK]          sha1 (bigstring)                     1   sha1.
  [OK]          sha1 (bigstring)                     2   sha1.
  [OK]          sha1 (bigstring)                     3   sha1.
  [OK]          sha1 (bigstring)                     4   sha1.
  [OK]          sha224                               0   sha224.
  [OK]          sha224                               1   sha224.
  [OK]          sha224                               2   sha224.
  [OK]          sha224                               3   sha224.
  [OK]          sha224                               4   sha224.
  [OK]          sha224 (bigstring)                   0   sha224.
  [OK]          sha224 (bigstring)                   1   sha224.
  [OK]          sha224 (bigstring)                   2   sha224.
  [OK]          sha224 (bigstring)                   3   sha224.
  [OK]          sha224 (bigstring)                   4   sha224.
  [OK]          sha256                               0   sha256.
  [OK]          sha256                               1   sha256.
  [OK]          sha256                               2   sha256.
  [OK]          sha256                               3   sha256.
  [OK]          sha256                               4   sha256.
  [OK]          sha256 (bigstring)                   0   sha256.
  [OK]          sha256 (bigstring)                   1   sha256.
  [OK]          sha256 (bigstring)                   2   sha256.
  [OK]          sha256 (bigstring)                   3   sha256.
  [OK]          sha256 (bigstring)                   4   sha256.
  [OK]          sha384                               0   sha384.
  [OK]          sha384                               1   sha384.
  [OK]          sha384                               2   sha384.
  [OK]          sha384                               3   sha384.
  [OK]          sha384                               4   sha384.
  [OK]          sha384 (bigstring)                   0   sha384.
  [OK]          sha384 (bigstring)                   1   sha384.
  [OK]          sha384 (bigstring)                   2   sha384.
  [OK]          sha384 (bigstring)                   3   sha384.
  [OK]          sha384 (bigstring)                   4   sha384.
  [OK]          sha512                               0   sha512.
  [OK]          sha512                               1   sha512.
  [OK]          sha512                               2   sha512.
  [OK]          sha512                               3   sha512.
  [OK]          sha512                               4   sha512.
  [OK]          sha512 (bigstring)                   0   sha512.
  [OK]          sha512 (bigstring)                   1   sha512.
  [OK]          sha512 (bigstring)                   2   sha512.
  [OK]          sha512 (bigstring)                   3   sha512.
  [OK]          sha512 (bigstring)                   4   sha512.
  [OK]          sha3_224                             0   sha3_224.
  [OK]          sha3_224                             1   sha3_224.
  [OK]          sha3_224                             2   sha3_224.
  [OK]          sha3_224                             3   sha3_224.
  [OK]          sha3_224                             4   sha3_224.
  [OK]          sha3_224 (bigstring)                 0   sha3_224.
  [OK]          sha3_224 (bigstring)                 1   sha3_224.
  [OK]          sha3_224 (bigstring)                 2   sha3_224.
  [OK]          sha3_224 (bigstring)                 3   sha3_224.
  [OK]          sha3_224 (bigstring)                 4   sha3_224.
  [OK]          sha3_256                             0   sha3_256.
  [OK]          sha3_256                             1   sha3_256.
  [OK]          sha3_256                             2   sha3_256.
  [OK]          sha3_256                             3   sha3_256.
  [OK]          sha3_256                             4   sha3_256.
  [OK]          sha3_256 (bigstring)                 0   sha3_256.
  [OK]          sha3_256 (bigstring)                 1   sha3_256.
  [OK]          sha3_256 (bigstring)                 2   sha3_256.
  [OK]          sha3_256 (bigstring)                 3   sha3_256.
  [OK]          sha3_256 (bigstring)                 4   sha3_256.
  [OK]          keccak_256                           0   keccak_256.
  [OK]          keccak_256                           1   keccak_256.
  [OK]          keccak_256                           2   keccak_256.
  [OK]          keccak_256                           3   keccak_256.
  [OK]          keccak_256                           4   keccak_256.
  [OK]          keccak_256 (bigstring)               0   keccak_256.
  [OK]          keccak_256 (bigstring)               1   keccak_256.
  [OK]          keccak_256 (bigstring)               2   keccak_256.
  [OK]          keccak_256 (bigstring)               3   keccak_256.
  [OK]          keccak_256 (bigstring)               4   keccak_256.
  [OK]          sha3_384                             0   sha3_384.
  [OK]          sha3_384                             1   sha3_384.
  [OK]          sha3_384                             2   sha3_384.
  [OK]          sha3_384                             3   sha3_384.
  [OK]          sha3_384                             4   sha3_384.
  [OK]          sha3_384 (bigstring)                 0   sha3_384.
  [OK]          sha3_384 (bigstring)                 1   sha3_384.
  [OK]          sha3_384 (bigstring)                 2   sha3_384.
  [OK]          sha3_384 (bigstring)                 3   sha3_384.
  [OK]          sha3_384 (bigstring)                 4   sha3_384.
  [OK]          sha3_512                             0   sha3_512.
  [OK]          sha3_512                             1   sha3_512.
  [OK]          sha3_512                             2   sha3_512.
  [OK]          sha3_512                             3   sha3_512.
  [OK]          sha3_512                             4   sha3_512.
  [OK]          sha3_512 (bigstring)                 0   sha3_512.
  [OK]          sha3_512 (bigstring)                 1   sha3_512.
  [OK]          sha3_512 (bigstring)                 2   sha3_512.
  [OK]          sha3_512 (bigstring)                 3   sha3_512.
  [OK]          sha3_512 (bigstring)                 4   sha3_512.
  [OK]          whirlpool                            0   whirlpool.
  [OK]          whirlpool                            1   whirlpool.
  [OK]          whirlpool                            2   whirlpool.
  [OK]          whirlpool                            3   whirlpool.
  [OK]          whirlpool                            4   whirlpool.
  [OK]          whirlpool (bigstring)                0   whirlpool.
  [OK]          whirlpool (bigstring)                1   whirlpool.
  [OK]          whirlpool (bigstring)                2   whirlpool.
  [OK]          whirlpool (bigstring)                3   whirlpool.
  [OK]          whirlpool (bigstring)                4   whirlpool.
  [OK]          blake2b                              0   blake2b.
  [OK]          blake2b                              1   blake2b.
  [OK]          blake2b                              2   blake2b.
  [OK]          blake2b                              3   blake2b.
  [OK]          blake2b                              4   blake2b.
  [OK]          blake2b (bigstring)                  0   blake2b.
  [OK]          blake2b (bigstring)                  1   blake2b.
  [OK]          blake2b (bigstring)                  2   blake2b.
  [OK]          blake2b (bigstring)                  3   blake2b.
  [OK]          blake2b (bigstring)                  4   blake2b.
  [OK]          rmd160                               0   rmd160.
  [OK]          rmd160                               1   rmd160.
  [OK]          rmd160                               2   rmd160.
  [OK]          rmd160                               3   rmd160.
  [OK]          rmd160                               4   rmd160.
  [OK]          rmd160 (bigstring)                   0   rmd160.
  [OK]          rmd160 (bigstring)                   1   rmd160.
  [OK]          rmd160 (bigstring)                   2   rmd160.
  [OK]          rmd160 (bigstring)                   3   rmd160.
  [OK]          rmd160 (bigstring)                   4   rmd160.
  [OK]          blake2s                              0   blake2s.
  [OK]          blake2s                              1   blake2s.
  [OK]          blake2s                              2   blake2s.
  [OK]          blake2s                              3   blake2s.
  [OK]          blake2s                              4   blake2s.
  [OK]          blake2s (bigstring)                  0   blake2s.
  [OK]          blake2s (bigstring)                  1   blake2s.
  [OK]          blake2s (bigstring)                  2   blake2s.
  [OK]          blake2s (bigstring)                  3   blake2s.
  [OK]          blake2s (bigstring)                  4   blake2s.
  [OK]          blake2s (keyed, input file)          0   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          1   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          2   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          3   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          4   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          5   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          6   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          7   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          8   blake2{b,s}.
  [OK]          blake2s (keyed, input file)          9   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         10   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         11   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         12   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         13   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         14   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         15   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         16   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         17   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         18   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         19   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         20   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         21   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         22   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         23   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         24   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         25   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         26   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         27   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         28   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         29   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         30   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         31   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         32   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         33   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         34   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         35   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         36   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         37   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         38   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         39   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         40   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         41   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         42   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         43   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         44   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         45   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         46   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         47   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         48   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         49   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         50   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         51   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         52   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         53   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         54   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         55   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         56   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         57   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         58   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         59   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         60   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         61   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         62   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         63   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         64   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         65   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         66   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         67   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         68   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         69   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         70   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         71   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         72   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         73   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         74   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         75   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         76   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         77   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         78   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         79   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         80   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         81   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         82   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         83   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         84   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         85   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         86   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         87   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         88   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         89   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         90   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         91   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         92   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         93   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         94   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         95   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         96   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         97   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         98   blake2{b,s}.
  [OK]          blake2s (keyed, input file)         99   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        100   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        101   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        102   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        103   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        104   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        105   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        106   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        107   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        108   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        109   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        110   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        111   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        112   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        113   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        114   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        115   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        116   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        117   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        118   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        119   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        120   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        121   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        122   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        123   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        124   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        125   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        126   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        127   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        128   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        129   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        130   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        131   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        132   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        133   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        134   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        135   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        136   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        137   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        138   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        139   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        140   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        141   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        142   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        143   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        144   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        145   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        146   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        147   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        148   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        149   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        150   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        151   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        152   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        153   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        154   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        155   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        156   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        157   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        158   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        159   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        160   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        161   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        162   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        163   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        164   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        165   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        166   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        167   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        168   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        169   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        170   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        171   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        172   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        173   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        174   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        175   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        176   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        177   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        178   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        179   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        180   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        181   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        182   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        183   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        184   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        185   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        186   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        187   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        188   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        189   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        190   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        191   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        192   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        193   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        194   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        195   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        196   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        197   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        198   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        199   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        200   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        201   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        202   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        203   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        204   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        205   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        206   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        207   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        208   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        209   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        210   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        211   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        212   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        213   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        214   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        215   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        216   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        217   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        218   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        219   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        220   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        221   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        222   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        223   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        224   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        225   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        226   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        227   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        228   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        229   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        230   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        231   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        232   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        233   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        234   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        235   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        236   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        237   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        238   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        239   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        240   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        241   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        242   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        243   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        244   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        245   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        246   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        247   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        248   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        249   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        250   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        251   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        252   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        253   blake2{b,s}.
  [OK]          blake2s (keyed, input file)        254   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          0   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          1   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          2   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          3   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          4   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          5   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          6   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          7   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          8   blake2{b,s}.
  [OK]          blake2b (keyed, input file)          9   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         10   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         11   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         12   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         13   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         14   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         15   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         16   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         17   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         18   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         19   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         20   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         21   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         22   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         23   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         24   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         25   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         26   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         27   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         28   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         29   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         30   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         31   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         32   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         33   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         34   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         35   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         36   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         37   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         38   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         39   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         40   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         41   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         42   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         43   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         44   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         45   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         46   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         47   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         48   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         49   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         50   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         51   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         52   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         53   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         54   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         55   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         56   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         57   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         58   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         59   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         60   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         61   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         62   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         63   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         64   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         65   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         66   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         67   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         68   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         69   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         70   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         71   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         72   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         73   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         74   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         75   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         76   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         77   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         78   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         79   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         80   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         81   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         82   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         83   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         84   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         85   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         86   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         87   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         88   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         89   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         90   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         91   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         92   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         93   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         94   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         95   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         96   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         97   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         98   blake2{b,s}.
  [OK]          blake2b (keyed, input file)         99   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        100   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        101   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        102   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        103   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        104   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        105   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        106   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        107   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        108   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        109   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        110   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        111   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        112   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        113   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        114   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        115   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        116   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        117   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        118   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        119   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        120   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        121   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        122   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        123   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        124   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        125   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        126   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        127   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        128   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        129   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        130   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        131   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        132   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        133   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        134   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        135   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        136   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        137   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        138   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        139   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        140   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        141   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        142   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        143   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        144   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        145   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        146   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        147   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        148   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        149   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        150   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        151   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        152   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        153   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        154   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        155   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        156   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        157   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        158   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        159   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        160   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        161   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        162   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        163   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        164   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        165   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        166   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        167   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        168   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        169   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        170   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        171   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        172   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        173   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        174   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        175   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        176   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        177   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        178   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        179   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        180   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        181   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        182   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        183   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        184   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        185   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        186   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        187   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        188   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        189   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        190   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        191   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        192   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        193   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        194   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        195   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        196   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        197   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        198   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        199   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        200   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        201   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        202   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        203   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        204   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        205   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        206   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        207   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        208   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        209   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        210   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        211   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        212   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        213   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        214   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        215   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        216   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        217   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        218   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        219   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        220   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        221   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        222   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        223   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        224   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        225   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        226   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        227   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        228   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        229   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        230   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        231   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        232   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        233   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        234   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        235   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        236   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        237   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        238   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        239   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        240   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        241   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        242   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        243   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        244   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        245   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        246   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        247   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        248   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        249   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        250   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        251   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        252   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        253   blake2{b,s}.
  [OK]          blake2b (keyed, input file)        254   blake2{b,s}.
  [OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
  [OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
  [OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
  [OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
  [OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
  [OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
  [OK]          ripemd160                            0   rmd160.
  [OK]          ripemd160                            1   rmd160.
  [OK]          ripemd160                            2   rmd160.
  [OK]          ripemd160                            3   rmd160.
  [OK]          ripemd160                            4   rmd160.
  [OK]          ripemd160                            5   rmd160.
  [OK]          ripemd160                            6   rmd160.
  [OK]          ripemd160                            7   rmd160.
  [SKIP]        ripemd160                            8   give me a million.
  [OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
  [OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
  [OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
  [OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
  [OK]          sha3 (vector tests)                  4   ../keccak_256.txt.

Full test results in `/src/_build/default/test/ocaml/_build/_tests/digestif'.
Test Successful in 1.820s. 679 tests run.
2024-06-26 22:26.50 ---> saved as "1dbd7a056e7328256867b46c7f5bb1dfdd77df399d45165853f5c095f43f6d01"
Job succeeded
2024-06-26 22:34.03: Job succeeded