INT a = 0: -- initialize a to 0
INT b = 0: -- initialize b to 0

WHILE (a <= 10)
  SEQ
    b := b + a -- sums the numbers 1 to 10

    -- final value of b would be 55

    a := a + 1    -- increment the value of a by one