let var x:int := 5 var y:int := 6 in x = 6 end