/* error : type constraint and init value differ */
let
        var a : int := " "
in
        a
end