procedure-test

The following is a valid µOCCAM program. This just test procedure declarations and calls and some variable scope.

INT x:
INT y:
INT result:
PROC power (INT mantissa, INT exponent)
  SEQ i = 0 FOR exponent
    result := (result * mantissa)
:
SEQ
  x := 2
  y := 3
  power (x, y)
  x := result
STOP