Not enough arguments

The following is an invalid µOCCAM program. This program calls a declared function with too few arguments, and so should be rejected. Apart from that it should be correct.

Program file: /public/cs3/web/ipptests/notenough-arguments.reject

CHAN chan1 :
CHAN chan2 :
INT rats = 5 :
INT cats = 6 :
PROC testfunc (INT num, INT num2)
  chan1 ! num
  chan2 ! num2
:
testfunc (rats)