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