invalid_swap

The following is an invalid µOCCAM program. This is a program that is supposed to swap two values around.This would work if variable c was declared

INT a = 1:
INT b = 2:

SEQ
  c := b
  b := a
  a := c