let in let var i := 0 var ni := 42 in while i < ni do i := i + 1 end; 1 end