let var a : int := -7 in a := a + 6; a := a - --7 end