Fix warnings during benchmarks

Closes #198 (closed)

Closed #186 (closed) (see #186 (comment 41648)).

changed milestone to %runtime-801

added C-runtime P5-sometimesoon RN-silent bug labels

assigned to @bgallois

changed the description

changed the description

marked this merge request as ready

requested review from @HugoTrentesaux

approved this merge request

mentioned in commit 7e75570b

merged