t808, t999 FAIL on Darwin

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

According to <https://hydra.nixos.org/build/129284064/log>,
there are two tests, t808 and t999, failing for =E2=80=98x86_64-darwin=E2=
=80=99.
Does anyone else see this on their (non-Hydra) Darwin systems?

=2D-=20
Thien-Thi Nguyen -----------------------------------------------
 (defun responsep (query)               ; (2020) Software Libero
   (pcase (context query)               ;       =3D Dissenso Etico
     (`(technical ,ml) (correctp ml))
     ...))                              748E A0E8 1CB8 A748 9BFA
=2D-------------------------------------- 6CE4 6703 2224 4C80 7502

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iG4EARECAC4WIQR0jqDoHLinSJv6bORnAyIkTIB1AgUCX5nnxBAcdHRuQGdudXZv
bGEub3JnAAoJEGcDIiRMgHUC80AAoLSHGBQ743q76alkqwYo4VK1E5j4AJ4tEiSr
KAZMQzrN78MJA16hyt59Ww==
=r8W1
-----END PGP SIGNATURE-----
--=-=-=--