The following is a valid µOCCAM program. This is a valid uOCCAM procedure call. Bye.
/public/cs3/web/ipptests/simple2.accept
INT p: PROC multiply (INT n, INT m) p:= n * m : STOP