/* locals hide globals */
let
        var a :=0

        function g(a : int) : int = a
in
 g(2)
end