let var a := 5 var v := 7 in for i := 0 to i < a do v := v + a end