[n<10] whileTrue: [ n:=n+1.]