libcoq-core-ocaml: hardening-no-fortify-functions [*]
