A general TEST

The following is valid µOCCAM. This is a perfectly valid program

-- Spyros's Program
INT a :
INT b :
SEQ
  a := a +
         3
  b := b + a
  IF
    a < b
      STOP
    a > b
      screen ! a