Build:
  1. 0
2024-02-11 20:23.55: New job: test randii.1.0.0 with conf-pkg-config.1.1, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/25235/head (8c7391d6ec81e93f24de221eb32a886b72d1ede6)
                              on debian-12-ocaml-5.1/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25235/head" && git reset --hard 8c7391d6
git fetch origin master
git merge --no-edit 8477e9a74beb40d85534ab7653b65d45607a147f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam pin add -k version -yn conf-pkg-config.1.1 1.1
RUN opam reinstall conf-pkg-config.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'conf-pkg-config.1.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam reinstall randii.1.0.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'randii.1.0.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN (opam reinstall --with-test randii.1.0.0) || true
RUN opam reinstall --with-test --verbose randii.1.0.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'randii.1.0.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2024-02-11 20:23.55: Using cache hint "ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930-conf-pkg-config.1.1-randii.1.0.0-8c7391d6ec81e93f24de221eb32a886b72d1ede6"
2024-02-11 20:23.55: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall conf-pkg-config.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall randii.1.0.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'randii.1.0.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (network host)
      (shell "(opam reinstall --with-test randii.1.0.0) || true"))
 (run (shell  "opam reinstall --with-test --verbose randii.1.0.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'randii.1.0.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2024-02-11 20:23.55: Waiting for resource in pool OCluster
2024-02-12 20:11.56: Waiting for worker…
2024-02-12 20:14.12: Got resource from pool OCluster
Building on x86-bm-c7.sw.ocaml.org
All commits already cached
Updating files:  66% (22055/32918)
Updating files:  67% (22056/32918)
Updating files:  68% (22385/32918)
Updating files:  69% (22714/32918)
Updating files:  70% (23043/32918)
Updating files:  71% (23372/32918)
Updating files:  72% (23701/32918)
Updating files:  73% (24031/32918)
Updating files:  74% (24360/32918)
Updating files:  75% (24689/32918)
Updating files:  76% (25018/32918)
Updating files:  77% (25347/32918)
Updating files:  78% (25677/32918)
Updating files:  79% (26006/32918)
Updating files:  80% (26335/32918)
Updating files:  81% (26664/32918)
Updating files:  82% (26993/32918)
Updating files:  83% (27322/32918)
Updating files:  84% (27652/32918)
Updating files:  85% (27981/32918)
Updating files:  86% (28310/32918)
Updating files:  87% (28639/32918)
Updating files:  88% (28968/32918)
Updating files:  89% (29298/32918)
Updating files:  90% (29627/32918)
Updating files:  91% (29956/32918)
Updating files:  92% (30285/32918)
Updating files:  93% (30614/32918)
Updating files:  94% (30943/32918)
Updating files:  95% (31273/32918)
Updating files:  96% (31602/32918)
Updating files:  97% (31931/32918)
Updating files:  98% (32260/32918)
Updating files:  99% (32589/32918)
Updating files: 100% (32918/32918)
Updating files: 100% (32918/32918), done.
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
2024-02-12 20:14.18 ---> using "4df7ce52b8e0afe130cbfff7d9b001e43cae58bd8e8710cd073ce7c11b1c6ac8" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-02-12 20:14.18 ---> using "2ee14a5dbb7aa54ab1dfa5adba4422c5a5483941525d4174e8eeed0c4c5e97aa" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2~alpha, which can't be reverted.
You may want to back it up before going further.

Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from 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.

Continue? [y/n] y
Format upgrade done.
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-02-12 20:14.18 ---> using "d58131e4d084860f74dbebecfc9a35ebb7fbb42cf58093b5ac6cf0adf11ed898" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2024-02-12 20:14.18 ---> using "e76676ee91f5598b65d18de047738848e5af056a75e3436903dc82ff5702c5a6" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2024-02-12 20:14.20 ---> using "00dcf922e87fec2f8ccdd0b44355d41faed143c596db4bfe8812d0e9c5f33f02" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-02-12 20:14.20 ---> using "d6c8604b98b9d01914259989eafdfad7780b6c9f761a469dfe3162a56ba73510" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8786 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [137 kB]
- Fetched 9175 kB in 1s (6720 kB/s)
- Reading package lists...
2024-02-12 20:14.20 ---> using "6245d7929b862e6b37f451133c05d21883283d0248743f67197f2e424fe52d69" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
conf-pkg-config is now pinned to version 1.1
2024-02-12 20:14.20 ---> using "efd69474de39398f08b803f28b1c0635d272139b0c33f4b0a322013c52989663" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall conf-pkg-config.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
conf-pkg-config.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
  - install conf-pkg-config 1.1 (pinned)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18774 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:14.20 ---> using "0686843ae3c31f38ac5563a3bcd57d9eed648c8dbf66daffdc86057dfb09ccb3" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall randii.1.0.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'randii.1.0.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
randii.1.0.0 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 18 packages
  - install base-bytes      base         [required by md2mld]
  - install cmdliner        1.2.0        [required by randii]
  - install dune            3.13.1       [required by randii]
  - install dune-build-info 3.13.1       [required by omd]
  - install fmt             0.9.0        [required by randii]
  - install integers        0.7.0        [required by randii]
  - install logs            0.7.0        [required by randii]
  - install md2mld          0.7.0        [required by testu01]
  - install ocamlbuild      0.14.3       [required by fmt, logs]
  - install ocamlfind       1.9.6        [required by fmt, logs]
  - install omd             2.0.0~alpha4 [required by md2mld]
  - install randii          1.0.0
  - install stdlib-shims    0.3.0        [required by integers]
  - install testu01         1.2.3-0.2    [required by randii]
  - install topkg           1.0.7        [required by fmt, logs]
  - install uucp            15.1.0       [required by omd]
  - install uunf            15.1.0       [required by omd]
  - install uutf            1.0.3        [required by omd]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cmdliner.1.2.0  (cached)
-> retrieved dune.3.13.1, dune-build-info.3.13.1  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved integers.0.7.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved md2mld.0.7.0  (cached)
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> installed cmdliner.1.2.0
-> retrieved omd.2.0.0~alpha4  (cached)
-> retrieved randii.1.0.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved testu01.1.2.3-0.2  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uucp.15.1.0  (cached)
-> retrieved uunf.15.1.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocamlbuild.0.14.3
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed logs.0.7.0
-> installed uunf.15.1.0
-> installed dune.3.13.1
-> installed stdlib-shims.0.3.0
-> installed dune-build-info.3.13.1
-> installed integers.0.7.0
-> installed uucp.15.1.0
-> installed omd.2.0.0~alpha4
-> installed md2mld.0.7.0
-> installed testu01.1.2.3-0.2
-> installed randii.1.0.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:17.43 ---> saved as "445a59c1284c75b9194fbd0467feafc4b4cbe0a60e86b2d1c9236fdefd64a315"

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test randii.1.0.0) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile randii              1.0.0
=== install 12 packages
  - install   alcotest            1.7.0   [required by randii]
  - install   astring             0.8.5   [required by alcotest]
  - install   bisect_ppx          2.8.3   [required by randii]
  - install   conf-gmp            4       [required by zarith]
  - install   ocaml-compiler-libs v0.12.4 [required by ppxlib]
  - install   ocaml-syntax-shims  1.0.0   [required by alcotest]
  - install   ppx_derivers        1.2.1   [required by ppxlib]
  - install   ppxlib              0.32.0  [required by bisect_ppx]
  - install   re                  1.11.0  [required by alcotest]
  - install   seq                 base    [required by re]
  - install   sexplib0            v0.16.0 [required by ppxlib]
  - install   zarith              1.13    [required by randii]

The following system packages will first need to be installed:
    libgmp-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18810 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.7.0  (https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz)
-> retrieved astring.0.8.5  (https://erratique.ch/software/astring/releases/astring-0.8.5.tbz)
-> retrieved bisect_ppx.2.8.3  (https://github.com/aantron/bisect_ppx/archive/2.8.3.tar.gz)
-> installed conf-gmp.4
-> retrieved ocaml-compiler-libs.v0.12.4  (https://github.com/janestreet/ocaml-compiler-libs/releases/download/v0.12.4/ocaml-compiler-libs-v0.12.4.tbz)
-> retrieved ocaml-syntax-shims.1.0.0  (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz)
-> retrieved ppx_derivers.1.2.1  (https://github.com/ocaml-ppx/ppx_derivers/archive/1.2.1.tar.gz)
-> installed ppx_derivers.1.2.1
-> installed astring.0.8.5
-> installed ocaml-compiler-libs.v0.12.4
-> retrieved ppxlib.0.32.0  (https://github.com/ocaml-ppx/ppxlib/releases/download/0.32.0/ppxlib-0.32.0.tbz)
-> installed ocaml-syntax-shims.1.0.0
-> retrieved randii.1.0.0  (https://github.com/KaroshiBee/randii/archive/1.0.0.tar.gz)
-> retrieved re.1.11.0  (https://github.com/ocaml/ocaml-re/releases/download/1.11.0/re-1.11.0.tbz)
-> installed seq.base
-> retrieved sexplib0.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/sexplib0-v0.16.0.tar.gz)
-> retrieved zarith.1.13  (https://github.com/ocaml/Zarith/archive/release-1.13.tar.gz)
-> removed   randii.1.0.0
-> installed sexplib0.v0.16.0
-> installed re.1.11.0
-> installed alcotest.1.7.0
-> installed zarith.1.13
-> installed ppxlib.0.32.0
-> installed bisect_ppx.2.8.3
-> installed randii.1.0.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:18.46 ---> saved as "61c959504d4348c91b181613613a818cf5ffc0480f6ee3a33821dd30d7015b3c"

/home/opam: (run (shell  "opam reinstall --with-test --verbose randii.1.0.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'randii.1.0.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile randii 1.0.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved randii.1.0.0  (cached)
Processing  2/4: [randii: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "randii" "-j" "31" "@install" "@runtest" (CWD=/home/opam/.opam/5.1/.opam-switch/build/randii.1.0.0)
- (cd _build/default/tests && ./threefry_tests.exe)
- Testing `Threefry Unittests'.
- This run has ID `HW8LL5O8'.
- 
-   [OK]          failures          0   2x32 bit.
-   [OK]          failures          1   4x32 bit.
-   [OK]          failures          2   2x64 bit.
-   [OK]          failures          3   4x64 bit.
-   [OK]          2 digits          0   32 bit.
-   [OK]          2 digits          1   64 bit.
-   [OK]          4 digits          0   32 bit.
-   [OK]          4 digits          1   64 bit.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/randii.1.0.0/_build/default/tests/_build/_tests/Threefry Unittests'.
- Test Successful in 0.001s. 8 tests run.
- (cd _build/default/tests && ./ctr_tests.exe)
- Testing `Counter Unittests'.
- This run has ID `QZMPOD4M'.
- 
-   [OK]          2x32bit pred/succ          0   2x32 bit successor.
-   [OK]          2x32bit pred/succ          1   2x32 bit predecessor.
-   [OK]          2x32bit pred/succ          2   2x32 bit predecessor of max.
-   [OK]          2x64bit pred/succ          0   2x64 bit successor.
-   [OK]          2x64bit pred/succ          1   2x64 bit predecessor.
-   [OK]          2x64bit pred/succ          2   2x64 bit predecessor of max.
-   [OK]          2x32bit failures           0   no data.
-   [OK]          2x32bit failures           1   too big.
-   [OK]          2x64bit failures           0   no data.
-   [OK]          2x64bit failures           1   too big.
-   [OK]          4x32bit pred/succ          0   4x32 bit successor.
-   [OK]          4x32bit pred/succ          1   4x32 bit predecessor.
-   [OK]          4x32bit pred/succ          2   4x32 bit predecessor of max.
-   [OK]          4x64bit pred/succ          0   4x64 bit successor.
-   [OK]          4x64bit pred/succ          1   4x64 bit predecessor.
-   [OK]          4x64bit pred/succ          2   4x64 bit predecessor of max.
-   [OK]          4x32bit failures           0   no data.
-   [OK]          4x32bit failures           1   too big.
-   [OK]          4x64bit failures           0   no data.
-   [OK]          4x64bit failures           1   too big.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/randii.1.0.0/_build/default/tests/_build/_tests/Counter Unittests'.
- Test Successful in 0.002s. 20 tests run.
- (cd _build/default/tests && ./kat_tests.exe)
- Testing `ThreefryNxW Known Answers'.
- This run has ID `6ZSU6AC7'.
- 
-   [OK]          kat vectors              0   threefry2x32: 13 rounds.
-   [OK]          kat vectors              1   threefry2x32: 13 rounds.
-   [OK]          kat vectors              2   threefry2x32: 13 rounds.
-   [OK]          kat vectors              3   threefry2x32: 20 rounds.
-   [OK]          kat vectors              4   threefry2x32: 20 rounds.
-   [OK]          kat vectors              5   threefry2x32: 20 rounds.
-   [OK]          kat vectors              6   threefry2x32: 32 rounds.
-   [OK]          kat vectors              7   threefry2x32: 32 rounds.
-   [OK]          kat vectors              8   threefry2x32: 32 rounds.
-   [OK]          kat vectors              9   threefry4x32: 13 rounds.
-   [OK]          kat vectors             10   threefry4x32: 13 rounds.
-   [OK]          kat vectors             11   threefry4x32: 13 rounds.
-   [OK]          kat vectors             12   threefry4x32: 20 rounds.
-   [OK]          kat vectors             13   threefry4x32: 20 rounds.
-   [OK]          kat vectors             14   threefry4x32: 20 rounds.
-   [OK]          kat vectors             15   threefry4x32: 72 rounds.
-   [OK]          kat vectors             16   threefry4x32: 72 rounds.
-   [OK]          kat vectors             17   threefry4x32: 72 rounds.
-   [OK]          kat vectors             18   threefry2x64: 13 rounds.
-   [OK]          kat vectors             19   threefry2x64: 13 rounds.
-   [OK]          kat vectors             20   threefry2x64: 13 rounds.
-   [OK]          kat vectors             21   threefry2x64: 20 rounds.
-   [OK]          kat vectors             22   threefry2x64: 20 rounds.
-   [OK]          kat vectors             23   threefry2x64: 20 rounds.
-   [OK]          kat vectors             24   threefry2x64: 32 rounds.
-   [OK]          kat vectors             25   threefry2x64: 32 rounds.
-   [OK]          kat vectors             26   threefry2x64: 32 rounds.
-   [OK]          kat vectors             27   threefry4x64: 13 rounds.
-   [OK]          kat vectors             28   threefry4x64: 13 rounds.
-   [OK]          kat vectors             29   threefry4x64: 13 rounds.
-   [OK]          kat vectors             30   threefry4x64: 20 rounds.
-   [OK]          kat vectors             31   threefry4x64: 20 rounds.
-   [OK]          kat vectors             32   threefry4x64: 20 rounds.
-   [OK]          kat vectors             33   threefry4x64: 72 rounds.
-   [OK]          kat vectors             34   threefry4x64: 72 rounds.
-   [OK]          kat vectors             35   threefry4x64: 72 rounds.
-   [OK]          old kat vectors          0   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          1   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          2   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          3   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          4   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          5   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          6   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          7   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          8   threefry2x32: 13 rounds.
-   [OK]          old kat vectors          9   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         10   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         11   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         12   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         13   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         14   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         15   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         16   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         17   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         18   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         19   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         20   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         21   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         22   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         23   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         24   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         25   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         26   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         27   threefry2x32: 13 rounds.
-   [OK]          old kat vectors         28   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         29   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         30   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         31   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         32   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         33   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         34   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         35   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         36   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         37   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         38   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         39   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         40   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         41   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         42   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         43   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         44   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         45   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         46   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         47   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         48   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         49   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         50   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         51   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         52   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         53   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         54   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         55   threefry2x32: 20 rounds.
-   [OK]          old kat vectors         56   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         57   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         58   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         59   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         60   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         61   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         62   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         63   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         64   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         65   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         66   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         67   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         68   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         69   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         70   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         71   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         72   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         73   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         74   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         75   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         76   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         77   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         78   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         79   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         80   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         81   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         82   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         83   threefry2x64: 13 rounds.
-   [OK]          old kat vectors         84   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         85   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         86   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         87   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         88   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         89   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         90   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         91   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         92   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         93   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         94   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         95   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         96   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         97   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         98   threefry2x64: 20 rounds.
-   [OK]          old kat vectors         99   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        100   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        101   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        102   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        103   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        104   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        105   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        106   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        107   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        108   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        109   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        110   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        111   threefry2x64: 20 rounds.
-   [OK]          old kat vectors        112   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        113   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        114   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        115   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        116   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        117   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        118   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        119   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        120   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        121   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        122   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        123   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        124   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        125   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        126   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        127   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        128   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        129   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        130   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        131   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        132   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        133   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        134   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        135   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        136   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        137   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        138   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        139   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        140   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        141   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        142   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        143   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        144   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        145   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        146   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        147   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        148   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        149   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        150   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        151   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        152   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        153   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        154   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        155   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        156   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        157   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        158   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        159   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        160   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        161   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        162   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        163   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        164   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        165   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        166   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        167   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        168   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        169   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        170   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        171   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        172   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        173   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        174   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        175   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        176   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        177   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        178   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        179   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        180   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        181   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        182   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        183   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        184   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        185   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        186   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        187   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        188   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        189   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        190   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        191   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        192   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        193   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        194   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        195   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        196   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        197   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        198   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        199   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        200   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        201   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        202   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        203   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        204   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        205   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        206   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        207   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        208   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        209   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        210   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        211   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        212   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        213   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        214   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        215   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        216   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        217   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        218   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        219   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        220   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        221   threefry4x64: 13 rounds.
-   [OK]          old kat vectors        222   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        223   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        224   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        225   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        226   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        227   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        228   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        229   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        230   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        231   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        232   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        233   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        234   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        235   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        236   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        237   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        238   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        239   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        240   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        241   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        242   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        243   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        244   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        245   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        246   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        247   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        248   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        249   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        250   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        251   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        252   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        253   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        254   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        255   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        256   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        257   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        258   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        259   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        260   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        261   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        262   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        263   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        264   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        265   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        266   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        267   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        268   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        269   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        270   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        271   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        272   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        273   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        274   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        275   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        276   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        277   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        278   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        279   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        280   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        281   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        282   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        283   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        284   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        285   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        286   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        287   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        288   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        289   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        290   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        291   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        292   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        293   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        294   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        295   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        296   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        297   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        298   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        299   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        300   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        301   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        302   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        303   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        304   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        305   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        306   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        307   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        308   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        309   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        310   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        311   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        312   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        313   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        314   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        315   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        316   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        317   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        318   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        319   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        320   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        321   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        322   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        323   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        324   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        325   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        326   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        327   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        328   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        329   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        330   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        331   threefry4x64: 20 rounds.
-   [OK]          old kat vectors        332   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        333   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        334   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        335   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        336   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        337   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        338   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        339   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        340   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        341   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        342   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        343   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        344   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        345   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        346   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        347   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        348   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        349   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        350   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        351   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        352   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        353   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        354   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        355   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        356   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        357   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        358   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        359   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        360   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        361   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        362   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        363   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        364   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        365   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        366   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        367   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        368   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        369   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        370   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        371   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        372   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        373   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        374   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        375   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        376   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        377   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        378   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        379   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        380   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        381   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        382   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        383   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        384   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        385   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        386   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        387   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        388   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        389   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        390   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        391   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        392   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        393   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        394   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        395   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        396   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        397   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        398   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        399   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        400   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        401   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        402   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        403   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        404   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        405   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        406   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        407   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        408   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        409   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        410   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        411   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        412   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        413   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        414   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        415   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        416   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        417   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        418   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        419   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        420   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        421   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        422   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        423   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        424   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        425   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        426   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        427   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        428   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        429   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        430   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        431   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        432   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        433   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        434   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        435   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        436   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        437   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        438   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        439   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        440   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        441   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        442   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        443   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        444   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        445   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        446   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        447   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        448   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        449   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        450   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        451   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        452   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        453   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        454   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        455   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        456   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        457   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        458   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        459   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        460   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        461   threefry4x32: 13 rounds.
-   [OK]          old kat vectors        462   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        463   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        464   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        465   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        466   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        467   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        468   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        469   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        470   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        471   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        472   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        473   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        474   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        475   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        476   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        477   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        478   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        479   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        480   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        481   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        482   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        483   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        484   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        485   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        486   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        487   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        488   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        489   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        490   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        491   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        492   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        493   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        494   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        495   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        496   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        497   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        498   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        499   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        500   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        501   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        502   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        503   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        504   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        505   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        506   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        507   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        508   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        509   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        510   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        511   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        512   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        513   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        514   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        515   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        516   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        517   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        518   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        519   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        520   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        521   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        522   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        523   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        524   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        525   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        526   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        527   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        528   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        529   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        530   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        531   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        532   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        533   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        534   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        535   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        536   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        537   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        538   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        539   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        540   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        541   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        542   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        543   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        544   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        545   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        546   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        547   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        548   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        549   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        550   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        551   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        552   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        553   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        554   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        555   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        556   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        557   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        558   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        559   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        560   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        561   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        562   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        563   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        564   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        565   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        566   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        567   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        568   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        569   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        570   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        571   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        572   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        573   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        574   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        575   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        576   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        577   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        578   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        579   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        580   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        581   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        582   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        583   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        584   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        585   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        586   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        587   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        588   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        589   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        590   threefry4x32: 20 rounds.
-   [OK]          old kat vectors        591   threefry4x32: 20 rounds.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/randii.1.0.0/_build/default/tests/_build/_tests/ThreefryNxW Known Answers'.
- Test Successful in 0.059s. 628 tests run.
-> compiled  randii.1.0.0
-> removed   randii.1.0.0
-> installed randii.1.0.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:19.03 ---> saved as "2b79522a55dfa1d7c2eab608ba0fe0435a73e2934ff8f453ad84650b941deb73"
Job succeeded
2024-02-12 20:19.17: Job succeeded