PROC test (INT arg.1, INT arg.2, INT arg.3)
  SKIP
:

PROC test2 (INT arg)
  stdout ! (arg + 1)
:

SEQ
  INT a :
  INT b :

  a := 2
  b := 3

  test2(a) 

  test(a, b)  -- should complain here as the test procedure requires 3 arguments