% @configure_input@
\def\ocamlversion{@OCAML_VERSION_SHORT@}