(* example : aintvex0.ml                 *)
(* let                                   *)
(*   f(x) = x;                           *)
(* in                                    *)
(*   f(1) ;;                             *)

let pr0 =
([("f",([(FPVAL "x")], (VAR "x")))],
       (CALL ("f",[(CST "1")]))) ;;

evalprog pr0;;