Re: Potential bug in nettle-benchmark.c