INT index = 0:
SEQ
  index := index + 1 -- update the variable index.
  STOP