+(* CSC: Matita compiled with recent OCaml triggers the assert false in the
+ code below. The exception FOO trick ignores the failure. It seems to
+ work, but it's the classical patch without understanding what the problem
+ is. *)
+exception FOO;;
+