Nice bug.
Nice bug.

https://ci.inria.fr/cado-qualif/job/compile-openbsd-61-i386/12/console

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs