Small While

The following is valid µOCCAM. Small While that increments until the limit is hit

a:=1
b:=10
while (a <= b)
  SEQ
    a:=a+1