let var v : int := 0 in v := v + 1 end