activate option -strict-formats from OCaml 4.02
experimental interpreter prototype