INT first = 3:
INT second = 5:

-- This has the effect of swapping the two variables

SEQ
  first := first + second
  second := first - second
  first := first - second