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