Sorry for the previous message which was obviously intended only for the OCaml MOOC team, and not the OCaml mailing list... I should stop working on Sundays :-( -- Roberto Roberto Di Cosmo (via mobile/cell)