/* error : formals and actuals have different types */
let
        function g(a : int , b : string) : int = a
in
        g("one", "two")
end