let var a := " " var c : int := 100 in ((a);(c);(a);(c)) end