The following is an invalid µOCCAM program. This program calls a declared function with too many arguments, and so should be rejected. Apart from that it should be correct.
CHAN chan1 : CHAN chan2 : INT rats = 5 : INT cats = 6 : INT dogs = 7 : PROC testfunc (INT num, INT num2) chan1 ! num chan2 ! num2 : testfunc (rats, cats, dogs)