MODULE Test; TYPE PRec = POINTER TO Rec; Rec = RECORD END; VAR d : PRec; PROCEDURE X (z : INTEGER; a : SET; b : ARRAY OF CHAR) : PRec; BEGIN RETURN NIL; END X; BEGIN d := X(1, {}, "xyz"); END Test.