ocaml/test/testinterp/t022-pushconstint.ml