Reproducing example for failing coq cram test.

[rlepigre]

A similar example works for OCaml (see working code in https://github.com/ocaml/dune/pull/6011), so this should probably also work for Coq to give us reasonable cram test support. Such tests are probably not intended for that kind of usage, but that would still be better than nothing.